Remove old mapmerge driver

2026-08-22 03:27:05 +01:00 · 2016-02-18 20:38:22 -08:00
parent ca16364849
commit 86b3869980
2 changed files with 0 additions and 6 deletions
@@ -1 +0,0 @@
-*.dmm merge=merge-dmm
@@ -1,5 +0,0 @@
-[merge "merge-dmm"]
-    name = mapmerge driver
-    driver = ./mapmerge.sh %O %A %B
-    recursive = text
-