From: Ingo Ruhnke Date: Mon, 25 Aug 2014 07:54:29 +0000 (+0200) Subject: Merge branch 'feature/menu-dialogs' X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=752be71794ec11e68a12cc88548b43e3f9a6fc87;p=supertux.git Merge branch 'feature/menu-dialogs' --- 752be71794ec11e68a12cc88548b43e3f9a6fc87