From ec7704b8843faf828be48208761bfc4f0108b79b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 9 Dec 2024 21:04:37 -0500 Subject: [PATCH] rename --- src/{ => core}/dune | 0 src/{ => core}/nanoev.ml | 0 src/{ => core}/nanoev.mli | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename src/{ => core}/dune (100%) rename src/{ => core}/nanoev.ml (100%) rename src/{ => core}/nanoev.mli (100%) diff --git a/src/dune b/src/core/dune similarity index 100% rename from src/dune rename to src/core/dune diff --git a/src/nanoev.ml b/src/core/nanoev.ml similarity index 100% rename from src/nanoev.ml rename to src/core/nanoev.ml diff --git a/src/nanoev.mli b/src/core/nanoev.mli similarity index 100% rename from src/nanoev.mli rename to src/core/nanoev.mli