aboutsummaryrefslogtreecommitdiff
path: root/src/pages.mli
diff options
context:
space:
mode:
authorAlban Gruin2022-02-05 15:16:18 +0100
committerAlban Gruin2022-02-05 15:18:19 +0100
commita55229d34abeb85d9adaca615c9905c7b06a81e1 (patch)
tree9735a5e37101dd699bebc6777d403f50d804f935 /src/pages.mli
parentee3b01bf7027798ba23153aef7f4ccc57f5f7b38 (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.mli1
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