Eliminate the final default.log
treee03b02f5596cd990bb3a715d88c9b226d484e257
-rw-r--r-- 12 .gitignore
-rw-r--r-- 44261 LICENSE.txt
-rw-r--r-- 2106 README.md
-rw-r--r-- 126 game.conf
drwxr-xr-x - menu
-rw-r--r-- 2372 minetest.conf
drwxr-xr-x - mods
-rw-r--r-- 7141 old_changelog.md
-rw-r--r-- 57171 screenshot.png
-rw-r--r-- 2833 settingtypes.txt