From 25020ba614315ce143f657511696fb7bf5135b00 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Thu, 10 Nov 2016 19:29:29 +0100 Subject: Dead code (xdg_config_dirs). --- lib/envars.mli | 1 - 1 file changed, 1 deletion(-) (limited to 'lib/envars.mli') 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 -- cgit v1.2.3