diff options
Diffstat (limited to 'src/vyconf_config.mli')
| -rw-r--r-- | src/vyconf_config.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vyconf_config.mli b/src/vyconf_config.mli index 1cfeffa..dad574c 100644 --- a/src/vyconf_config.mli +++ b/src/vyconf_config.mli @@ -3,6 +3,7 @@ type t = { data_dir: string; program_dir: string; config_dir: string; + reftree_dir: string; primary_config: string; fallback_config: string; reference_tree: string; |