Fix a little bug with the red mine not reseted at the end of the game
Fix a little bug with the red mine not reseted at the end of the game

OpenTechEngine/CEGUI,OpenTechEngine/CEGUI,OpenTechEngine/CEGUI,ruleless/CEGUI,ruleless/CEGUI,OpenTechEngine/CEGUI,ruleless/CEGUI,ruleless/CEGUI