/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-- 2017-10-11 18:52 +0200 3647 CMakeLists.txt
-rw-r--r-- 2017-10-11 18:52 +0200 2422 CreateMacBundle.cmake.in
-rw-r--r-- 2017-10-11 18:52 +0200 2675 build_windows.bat
-rw-r--r-- 2017-10-11 18:52 +0200 953 cmake_uninstall.cmake.in
-rw-r--r-- 2017-10-11 18:52 +0200 1466 confuse.hs
-rwxr-xr-x 2017-10-11 18:52 +0200 6826 create-dmg.sh
-rw-r--r-- 2017-10-11 18:52 +0200 5983 darkMagic.hs
-rw-r--r-- 2017-10-11 18:52 +0200 770 dmg_pkg_install.sh
-rwxr-xr-x 2017-10-11 18:52 +0200 527 docgen.sh
-rw-r--r-- 2017-10-11 18:52 +0200 12907 fix_fpc_ios_build_patch.diff
-rw-r--r-- 2017-10-11 18:52 +0200 1522 hashTest.hs
-rw-r--r-- 2017-10-11 18:52 +0200 5260 hwmap.hs
-rwxr-xr-x 2017-10-11 18:52 +0200 1869 rgit2hg.sh
-rw-r--r-- 2017-10-11 18:52 +0200 2315 w32DownloadUnzip.vbs