Reset play_time when level is restarted
authorChristoph Sommer <mail@christoph-sommer.de>
Thu, 3 Jan 2008 16:41:36 +0000 (16:41 +0000)
committerChristoph Sommer <mail@christoph-sommer.de>
Thu, 3 Jan 2008 16:41:36 +0000 (16:41 +0000)
commit760051fac75395d00342bd573121c9b0ba31b952
treea50c222894b891ec524318cd755d036a3bf92ec5
parent73bc87a49f0392e69864aa6e01c85221b0366b87
Reset play_time when level is restarted

SVN-Revision: 5245
src/game_session.cpp