Skip to content
Permalink
Browse files

Update to dune 1.10

  • Loading branch information...
sagotch committed Jul 5, 2019
1 parent 4445f00 commit 0bf2de0cf01fe28b7d93dd41cf4e9af0885f57d1
Showing with 2 additions and 1 deletion.
  1. +2 −1 dune-project
@@ -1,2 +1,3 @@
(lang dune 1.1)
(lang dune 1.10)
(name geneweb)
(allow_approximate_merlin)

0 comments on commit 0bf2de0

Please sign in to comment.
You can’t perform that action at this time.