diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-11-10 19:29:29 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-29 11:15:30 +0200 |
commit | 25020ba614315ce143f657511696fb7bf5135b00 (patch) | |
tree | 8fc6032e3b39be4336ed940145fddde5fdc842f2 /lib/envars.mli | |
parent | 132d40ae3168065ed9ca11aa12fc6c96111a1e67 (diff) |
Dead code (xdg_config_dirs).
Diffstat (limited to 'lib/envars.mli')
-rw-r--r-- | lib/envars.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/envars.mli b/lib/envars.mli index b164e789d..c33a08c40 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 |