From b2b4e85ec6607d7364a0da9c65ae9303b9f73c03 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 4 Jan 2017 14:35:51 +0100 Subject: Usage.print_config moved to Envars --- lib/envars.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/envars.mli') diff --git a/lib/envars.mli b/lib/envars.mli index 90a42859b..b9cc534f9 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -69,3 +69,6 @@ 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 + +(** {6 Prints the configuration information } *) +val print_config : out_channel -> unit -- cgit v1.2.3