diff options
author | Alban Gruin | 2022-02-05 15:16:18 +0100 |
---|---|---|
committer | Alban Gruin | 2022-02-05 15:18:19 +0100 |
commit | a55229d34abeb85d9adaca615c9905c7b06a81e1 (patch) | |
tree | 9735a5e37101dd699bebc6777d403f50d804f935 /src/pages.mli | |
parent | ee3b01bf7027798ba23153aef7f4ccc57f5f7b38 (diff) |
Introduce a new feature to list events without location
This adds a new page listing events without location.
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/pages.mli')
-rw-r--r-- | src/pages.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pages.mli b/src/pages.mli index 4618faf..f75a759 100644 --- a/src/pages.mli +++ b/src/pages.mli @@ -18,3 +18,4 @@ val main : string val link : ?args:(string * string list) -> string -> string val select : string -> string Seq.t -> string +val empty_events : Ics.t -> string |