/tools/
drwxr-xr-x [up]
drwxr-xr-x drawMapTest
drwxr-xr-x hwmap2txt hwmapconverter
drwxr-xr-x old
drwxr-xr-x pas2c
drwxr-xr-x support
drwxr-xr-x templates
-rw-r--r-- 2018-07-21 15:58 +0200 3683 CMakeLists.txt
-rw-r--r-- 2018-07-21 15:58 +0200 1504 CreateMacBundle.cmake.in
-rw-r--r-- 2018-07-21 15:58 +0200 855 README.md
-rw-r--r-- 2018-07-21 15:58 +0200 953 cmake_uninstall.cmake.in
-rw-r--r-- 2018-07-21 15:58 +0200 1466 confuse.hs
-rwxr-xr-x 2018-07-21 15:58 +0200 6826 create-dmg.sh
-rw-r--r-- 2018-07-21 15:58 +0200 6019 darkMagic.hs
-rw-r--r-- 2018-07-21 15:58 +0200 770 dmg_pkg_install.sh
-rwxr-xr-x 2018-07-21 15:58 +0200 527 docgen.sh
-rw-r--r-- 2018-07-21 15:58 +0200 12907 fix_fpc_ios_build_patch.diff
-rw-r--r-- 2018-07-21 15:58 +0200 1522 hashTest.hs
-rw-r--r-- 2018-07-21 15:58 +0200 5260 hwmap.hs
-rwxr-xr-x 2018-07-21 15:58 +0200 1232 hwmap2lua.sh
-rwxr-xr-x 2018-07-21 15:58 +0200 1869 rgit2hg.sh
-rwxr-xr-x 2018-07-21 15:58 +0200 263 update_frontend_locale_files.sh
-rwxr-xr-x 2018-07-21 15:58 +0200 297 update_locale_files.sh
-rwxr-xr-x 2018-07-21 15:58 +0200 2846 update_lua_locale_files.sh