v0.14-preview.122.10+266

webclinic017 · Mar 2, 2020 · 9f8193e · 9f8193e
1 parent 4c7691e
commit 9f8193e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1 +1 @@
-(lang dune 1.5)
+(lang dune 1.10)