/misc/ default tip
drwxr-xr-x [up]
drwxr-xr-x OfficialChallenges
drwxr-xr-x liblua
drwxr-xr-x libphyslayer
-rw-r--r-- 2020-10-20 20:09 +0200 177 Android.mk
-rw-r--r-- 2020-10-20 20:09 +0200 119 coverity_model.c
-rw-r--r-- 2020-10-20 20:09 +0200 189688 dmgBackground.png
-rw-r--r-- 2020-10-20 20:09 +0200 8604 flags_js.xhtml
-rw-r--r-- 2020-10-20 20:09 +0200 8447 graves_js_anim.xhtml
-rw-r--r-- 2020-10-20 20:09 +0200 14525 hats_js_anim.xhtml
-rw-r--r-- 2020-10-20 20:09 +0200 77138 hedgewars.png
-rw-r--r-- 2020-10-20 20:09 +0200 2072 hedgewars_ico.png
-rw-r--r-- 2020-10-20 20:09 +0200 51324 racer.yaml
-rw-r--r-- 2020-10-20 20:09 +0200 6643 theme_editor.html
-rw-r--r-- 2020-10-20 20:09 +0200 1409 wrapper.c