diff options
| author | John Estabrook <jestabro@vyos.io> | 2023-05-01 11:02:52 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2023-05-10 22:52:25 -0500 |
| commit | 38a54abb6231bc0ef5adae9c6c010de743e13956 (patch) | |
| tree | 70b7e73baaaaf5b34bd1439c6c39c5c6140f323c /src/util.mli | |
| parent | ed85b2c0dc325058ebf8f9a583c7dd013f100ebf (diff) | |
| download | vyos1x-config-38a54abb6231bc0ef5adae9c6c010de743e13956.tar.gz vyos1x-config-38a54abb6231bc0ef5adae9c6c010de743e13956.zip | |
T5194: add util functions for reference tree
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli index f51adb1..f9bfba6 100644 --- a/src/util.mli +++ b/src/util.mli @@ -7,3 +7,5 @@ val escape_string : string -> string val default : 'a -> 'a option -> 'a val lexical_numeric_compare : string -> string -> int + +val absolute_path : FilePath.filename -> FilePath.filename |