diff --git a/test/dune-project2copy b/test/dune-project2copy new file mode 100644 index 0000000000000000000000000000000000000000..37f995d6492934bb2174bfbda93670ac438e5844 --- /dev/null +++ b/test/dune-project2copy @@ -0,0 +1 @@ +(lang dune 3.0)