From bb0112c8827ec40aa82139bedae9bc8fb68c0d26 Mon Sep 17 00:00:00 2001 From: Richard Mortier Date: Sat, 10 Nov 2018 17:30:58 +0000 Subject: [PATCH] dunification: rename `jbuild` Signed-off-by: Richard Mortier --- src/{jbuild => dune} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{jbuild => dune} (100%) diff --git a/src/jbuild b/src/dune similarity index 100% rename from src/jbuild rename to src/dune