diff options
author | Alban Gruin | 2020-09-20 12:31:59 +0200 |
---|---|---|
committer | Alban Gruin | 2020-09-20 12:31:59 +0200 |
commit | 45454dcb16567dd5bc58e90fcca41a05013b7ab6 (patch) | |
tree | 5dac70004510ac8ca318010e3bdf60aa47766762 /dune-project | |
parent | 5aa3559f1c3789f1f29816ace7b6ba4c57b1ec6a (diff) |
µCS v0.1.1v0.1.1
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'dune-project')
-rw-r--r-- | dune-project | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dune-project b/dune-project index a1db67d..170a0b0 100644 --- a/dune-project +++ b/dune-project @@ -1,3 +1,3 @@ (lang dune 2.0) (name ucs) -(version 0.1.0) +(version 0.1.1) |