From 410a4005c3c438c479a91180339b858aafe4e549 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 12 Nov 2020 18:00:42 -0500 Subject: [PATCH] chore: avoid `tests` dir --- dune | 1 + dune-project | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 dune diff --git a/dune b/dune new file mode 100644 index 00000000..af1fdb08 --- /dev/null +++ b/dune @@ -0,0 +1 @@ +(data_only_dirs tests) diff --git a/dune-project b/dune-project index 04fa6f89..00d8427e 100644 --- a/dune-project +++ b/dune-project @@ -1,3 +1,3 @@ -(lang dune 1.1) +(lang dune 1.6) (using menhir 1.0) (using fmt 1.1)