/tools/
drwxr-xr-x [up]
drwxr-xr-x drawMapTest
drwxr-xr-x hwmap2txt hwmapconverter
drwxr-xr-x pas2c
drwxr-xr-x support
drwxr-xr-x templates
-rw-r--r-- 2018-02-10 18:03 +0100 3647 CMakeLists.txt
-rw-r--r-- 2018-02-10 18:03 +0100 1504 CreateMacBundle.cmake.in
-rw-r--r-- 2018-02-10 18:03 +0100 2675 build_windows.bat
-rw-r--r-- 2018-02-10 18:03 +0100 953 cmake_uninstall.cmake.in
-rw-r--r-- 2018-02-10 18:03 +0100 1466 confuse.hs
-rwxr-xr-x 2018-02-10 18:03 +0100 6826 create-dmg.sh
-rw-r--r-- 2018-02-10 18:03 +0100 5983 darkMagic.hs
-rw-r--r-- 2018-02-10 18:03 +0100 770 dmg_pkg_install.sh
-rwxr-xr-x 2018-02-10 18:03 +0100 527 docgen.sh
-rw-r--r-- 2018-02-10 18:03 +0100 12907 fix_fpc_ios_build_patch.diff
-rw-r--r-- 2018-02-10 18:03 +0100 1522 hashTest.hs
-rw-r--r-- 2018-02-10 18:03 +0100 5260 hwmap.hs
-rwxr-xr-x 2018-02-10 18:03 +0100 1869 rgit2hg.sh
-rwxr-xr-x 2018-02-10 18:03 +0100 2714 update_lua_locale_files.sh
-rw-r--r-- 2018-02-10 18:03 +0100 2315 w32DownloadUnzip.vbs