diff options
| author | Mishio595 <[email protected]> | 2018-11-13 18:46:44 -0700 |
|---|---|---|
| committer | Mishio595 <[email protected]> | 2018-11-13 18:46:44 -0700 |
| commit | eb59099df75cf7ff096ca4c572767ebf0de7793e (patch) | |
| tree | be5e6be54ad684f1860989ac003156428ebaf614 | |
| parent | New name who dis (diff) | |
| download | disml-eb59099df75cf7ff096ca4c572767ebf0de7793e.tar.xz disml-eb59099df75cf7ff096ca4c572767ebf0de7793e.zip | |
stupid dune-project file...
| -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) |