Allow SIGINT to kill mainmenu again
authorKahrl <kahrl@gmx.net>
Mon, 19 Aug 2013 12:55:38 +0000 (14:55 +0200)
committerKahrl <kahrl@gmx.net>
Mon, 19 Aug 2013 13:49:36 +0000 (15:49 +0200)
commitade70fe4b92202065c17d04f21415848b2c6d419
tree14fa79b64c8eb744082d13443a01c55ce673b53c
parent4242782dc27e7932e050677b92ec8b1a994a4f0d
Allow SIGINT to kill mainmenu again
src/guiEngine.cpp
src/guiEngine.h
src/guiMainMenu.h
src/main.cpp
src/script/lua_api/l_mainmenu.cpp