diff options
author | Julien Puydt <jpuydt@debian.org> | 2022-10-14 09:02:49 +0200 |
---|---|---|
committer | Julien Puydt <jpuydt@debian.org> | 2022-10-14 09:02:49 +0200 |
commit | cc997a6ac46d5c8be431a622a06ef27487f82024 (patch) | |
tree | 07150d70c9e5cd71db106864d7b982f9ce20f65d /dune-project |
Import obus_1.2.4.orig.tar.gz
[dgit import orig obus_1.2.4.orig.tar.gz]
Diffstat (limited to 'dune-project')
-rw-r--r-- | dune-project | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..ba417fe --- /dev/null +++ b/dune-project @@ -0,0 +1,2 @@ +(lang dune 1.4) +(using menhir 2.0) |