summaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2019-06-30 01:00:01 +0700
committerDaniil Baturin <daniil@baturin.org>2019-06-30 01:25:57 +0700
commitaa3d09c3fff12e379fd189ceaf55644574ff5c43 (patch)
tree95ffb89bb701c14ea0e9533661c3c5c0a6aff8e9 /dune-project
downloadvyos1x-config-aa3d09c3fff12e379fd189ceaf55644574ff5c43.tar.gz
vyos1x-config-aa3d09c3fff12e379fd189ceaf55644574ff5c43.zip
Initial import of libraries from Vyconf and old libvyosconfig.
Diffstat (limited to 'dune-project')
-rw-r--r--dune-project3
1 files changed, 3 insertions, 0 deletions
diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..26da116
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,3 @@
+(lang dune 1.9)
+(using menhir 2.0)
+(name vyos1x-config)