diff options
| author | Alban Gruin | 2021-10-04 12:46:08 +0200 |
|---|---|---|
| committer | Alban Gruin | 2021-10-04 12:46:08 +0200 |
| commit | 3bed39113f475ae9b1243ab6a018169ef9bf8c92 (patch) | |
| tree | b94824807833d66f6ec37ea2665268a8e97560d6 /src/pages.mli | |
| parent | cee4a3ef6aba480b54ae32b427ce4579832e5d69 (diff) | |
course, ics: location may be empty, make it an option
As there may not be a location, make it an option type so we can easily
add a warning in the title of an event.
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/pages.mli')
0 files changed, 0 insertions, 0 deletions