diff options
Diffstat (limited to 'src/defaults.mli')
| -rw-r--r-- | src/defaults.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/defaults.mli b/src/defaults.mli index 042eced..dc58606 100644 --- a/src/defaults.mli +++ b/src/defaults.mli @@ -4,6 +4,7 @@ type vyconf_defaults = { socket: string; log_template: string; log_level: string; + legacy_config_path: string; } val defaults : vyconf_defaults |