/misc/
drwxr-xr-x [up]
drwxr-xr-x OfficialChallenges
drwxr-xr-x liblua
drwxr-xr-x libphyslayer
drwxr-xr-x winutils
-rw-r--r-- 2019-08-26 15:40 -0600 177 Android.mk
-rw-r--r-- 2019-08-26 15:40 -0600 119 coverity_model.c
-rw-r--r-- 2019-08-26 15:40 -0600 189688 dmgBackground.png
-rw-r--r-- 2019-08-26 15:40 -0600 8760 hats_js_anim.xhtml
-rw-r--r-- 2019-08-26 15:40 -0600 77138 hedgewars.png
-rw-r--r-- 2019-08-26 15:40 -0600 2072 hedgewars_ico.png
-rw-r--r-- 2019-08-26 15:40 -0600 51397 racer.yaml
-rw-r--r-- 2019-08-26 15:40 -0600 6643 theme_editor.html
-rw-r--r-- 2019-08-26 15:40 -0600 1409 wrapper.c