diff options
| author | Daniil Baturin <daniil@baturin.org> | 2019-06-30 01:00:01 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2019-06-30 01:25:57 +0700 |
| commit | aa3d09c3fff12e379fd189ceaf55644574ff5c43 (patch) | |
| tree | 95ffb89bb701c14ea0e9533661c3c5c0a6aff8e9 /src/util.mli | |
| download | vyos1x-config-aa3d09c3fff12e379fd189ceaf55644574ff5c43.tar.gz vyos1x-config-aa3d09c3fff12e379fd189ceaf55644574ff5c43.zip | |
Initial import of libraries from Vyconf and old libvyosconfig.
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli new file mode 100644 index 0000000..5316e90 --- /dev/null +++ b/src/util.mli @@ -0,0 +1 @@ +val default : 'a -> 'a option -> 'a |