From: Ingo Ruhnke Date: Tue, 19 Aug 2014 00:46:40 +0000 (+0200) Subject: Merge branch 'feature/developer-mode' X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=e7dbb1a6c93447615cbeb83326261069dbd4adb5;p=supertux.git Merge branch 'feature/developer-mode' --- e7dbb1a6c93447615cbeb83326261069dbd4adb5