/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-07-07 18:37 +0200 3683 CMakeLists.txt
-rw-r--r-- 2018-07-07 18:37 +0200 1504 CreateMacBundle.cmake.in
-rw-r--r-- 2018-07-07 18:37 +0200 2675 build_windows.bat
-rw-r--r-- 2018-07-07 18:37 +0200 953 cmake_uninstall.cmake.in
-rw-r--r-- 2018-07-07 18:37 +0200 1466 confuse.hs
-rwxr-xr-x 2018-07-07 18:37 +0200 6826 create-dmg.sh
-rw-r--r-- 2018-07-07 18:37 +0200 5983 darkMagic.hs
-rw-r--r-- 2018-07-07 18:37 +0200 770 dmg_pkg_install.sh
-rwxr-xr-x 2018-07-07 18:37 +0200 527 docgen.sh
-rw-r--r-- 2018-07-07 18:37 +0200 12907 fix_fpc_ios_build_patch.diff
-rw-r--r-- 2018-07-07 18:37 +0200 1522 hashTest.hs
-rw-r--r-- 2018-07-07 18:37 +0200 5260 hwmap.hs
-rwxr-xr-x 2018-07-07 18:37 +0200 1232 hwmap2lua.sh
-rwxr-xr-x 2018-07-07 18:37 +0200 1869 rgit2hg.sh
-rwxr-xr-x 2018-07-07 18:37 +0200 2798 update_lua_locale_files.sh
-rw-r--r-- 2018-07-07 18:37 +0200 2315 w32DownloadUnzip.vbs