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 .)