aboutsummaryrefslogtreecommitdiff
path: root/lib/envars.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/envars.mli')
-rw-r--r--lib/envars.mli1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/envars.mli b/lib/envars.mli
index b164e789d2..c33a08c405 100644
--- a/lib/envars.mli
+++ b/lib/envars.mli
@@ -66,7 +66,6 @@ val camlp4 : unit -> string
*)
val xdg_config_home : (string -> unit) -> string
val xdg_data_home : (string -> unit) -> string
-val xdg_config_dirs : (string -> unit) -> string list
val xdg_data_dirs : (string -> unit) -> string list
val xdg_dirs : warn : (string -> unit) -> string list