diff --git a/dune b/src/dune similarity index 100% rename from dune rename to src/dune