From 7ec843fc23f0ad28c692dd3b0c64cef37a79c5bb Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Thu, 24 Sep 2015 18:07:07 +0600 Subject: Add a module for various defaults. --- src/defaults.mli | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/defaults.mli (limited to 'src/defaults.mli') diff --git a/src/defaults.mli b/src/defaults.mli new file mode 100644 index 0000000..48e5cdb --- /dev/null +++ b/src/defaults.mli @@ -0,0 +1,5 @@ +type vyconf_defaults = { + config_file: string; +} + +val defaults : vyconf_defaults -- cgit v1.2.3