comparison help/help_mp-pl.h @ 33024:21e0de9c355f

Show GUI message when GUI must exit. Besides, change exit() to exit_player().
author ib
date Fri, 25 Mar 2011 11:28:25 +0000
parents 736b22f11e00
children 7f06781043d9
comparison
equal deleted inserted replaced
33023:ba432e34dc7e 33024:21e0de9c355f