From 9528ddc8b647db7a3b29e8facfd5927830be82cb Mon Sep 17 00:00:00 2001 From: Swrup Date: Tue, 16 Apr 2024 12:46:32 +0200 Subject: [PATCH] lib -> src --- {lib => src}/dune | 0 {lib => src}/gadgetobrr.ml | 0 {lib => src}/gadgetobrr.mli | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename {lib => src}/dune (100%) rename {lib => src}/gadgetobrr.ml (100%) rename {lib => src}/gadgetobrr.mli (100%) diff --git a/lib/dune b/src/dune similarity index 100% rename from lib/dune rename to src/dune diff --git a/lib/gadgetobrr.ml b/src/gadgetobrr.ml similarity index 100% rename from lib/gadgetobrr.ml rename to src/gadgetobrr.ml diff --git a/lib/gadgetobrr.mli b/src/gadgetobrr.mli similarity index 100% rename from lib/gadgetobrr.mli rename to src/gadgetobrr.mli