From 550203d0192f49b8a39d1ebd308eac05586e5c6a Mon Sep 17 00:00:00 2001 From: Marco Hladik Date: Sun, 7 Feb 2021 09:13:23 +0100 Subject: [PATCH] rename src/mk_mapdef.sh to make_mapdef.sh --- src/mk_mapdef.sh => make_mapdef.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/mk_mapdef.sh => make_mapdef.sh (100%) diff --git a/src/mk_mapdef.sh b/make_mapdef.sh similarity index 100% rename from src/mk_mapdef.sh rename to make_mapdef.sh