From 4170224a37d19536b084935c09070aa68486fa55 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 24 Mar 2021 12:40:40 -0400 Subject: [PATCH] add tests/dune to ignore test directories for dune --- tests/dune | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/dune diff --git a/tests/dune b/tests/dune new file mode 100644 index 00000000..3fb75432 --- /dev/null +++ b/tests/dune @@ -0,0 +1 @@ +(data_only_dirs .)