Rémi Verschelde ceac8a780e Merge pull request #7740 from magyar123/master ... Add editor option for closing the output when stopping the game.		2017-02-12 23:16:14 +01:00
..
editor	Merge pull request #7740 from magyar123/master	2017-02-12 23:16:14 +01:00