~ymherklotz/vericert

c3de945fa463aa9a2ad0804eb8f67e40f585eb3a — Yann Herklotz 2 months ago 42c952e dev/mac-op master
Add dune-project file
2 files changed, 2 insertions(+), 1 deletions(-)

M .gitignore
A dune-project
M .gitignore => .gitignore +0 -1
@@ 41,7 41,6 @@ bin/vericert

# Ocaml
_build
dune-project
.merlin

/docs/html

A dune-project => dune-project +2 -0
@@ 0,0 1,2 @@
(lang dune 2.9)
(name vericert)