From c3de945fa463aa9a2ad0804eb8f67e40f585eb3a Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 29 Sep 2022 09:57:12 +0100 Subject: Add dune-project file --- .gitignore | 1 - dune-project | 2 ++ 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 dune-project diff --git a/.gitignore b/.gitignore index 174fc31..83a64f6 100644 --- a/.gitignore +++ b/.gitignore @@ -41,7 +41,6 @@ bin/vericert # Ocaml _build -dune-project .merlin /docs/html diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..a0644b0 --- /dev/null +++ b/dune-project @@ -0,0 +1,2 @@ +(lang dune 2.9) +(name vericert) -- cgit