diff options
| -rw-r--r-- | dune-project | 2 |
1 files changed, 0 insertions, 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) |