From: Ingo Ruhnke Date: Tue, 12 Aug 2014 08:38:36 +0000 (+0200) Subject: Merge branch 'feature/screenmanager' X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=237822a97040ac8973400ffa5a6ded9199c836d8;p=supertux.git Merge branch 'feature/screenmanager' --- 237822a97040ac8973400ffa5a6ded9199c836d8