diff options
| author | Daniil Baturin <daniil@baturin.org> | 2022-04-05 14:01:27 +0300 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2022-04-05 14:01:27 +0300 |
| commit | e625146762b16d85c71209029e19a26d1f42f8be (patch) | |
| tree | 0768f812dff20925453350ba92acfd585df5e7eb /dune-project | |
| parent | 35867531ba533033df3d5969219c6c907c67d573 (diff) | |
| download | uncron-e625146762b16d85c71209029e19a26d1f42f8be.tar.gz uncron-e625146762b16d85c71209029e19a26d1f42f8be.zip | |
Switch to dune and add opam packaging
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..c994249 --- /dev/null +++ b/dune-project @@ -0,0 +1 @@ +(lang dune 2.9) |