From: Ingo Ruhnke Date: Mon, 25 Aug 2014 07:52:57 +0000 (+0200) Subject: Merge branch 'feature/addon-manager' X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=5066ad643acd01cf885d1cc93ad5aa6466520de2;p=supertux.git Merge branch 'feature/addon-manager' --- 5066ad643acd01cf885d1cc93ad5aa6466520de2