From eb59099df75cf7ff096ca4c572767ebf0de7793e Mon Sep 17 00:00:00 2001 From: Mishio595 Date: Tue, 13 Nov 2018 18:46:44 -0700 Subject: stupid dune-project file... --- dune-project | 2 -- 1 file changed, 2 deletions(-) diff --git a/dune-project b/dune-project index bb44e3a..31a7429 100644 --- a/dune-project +++ b/dune-project @@ -1,3 +1 @@ (lang dune 1.3) -(name animus) -(version 0.1.0) -- cgit v1.2.3