cib 3877d0c0b8 Fixes issue #2363 ...

Maptools now points to the right map again.

2013-02-18 23:02:38 +01:00

..

clean_map.bat

Fixes issue #2363

2013-02-18 23:02:38 +01:00

mapmerge.sh

Moved map tools into maptools directory.

2012-11-11 13:04:29 +01:00

MapPatcher.jar

Moved map tools into maptools directory.

2012-11-11 13:04:29 +01:00

prepare_map.bat

Fixes issue #2363

2013-02-18 23:02:38 +01:00