Reset play_time when level is restarted
[supertux.git] / src / addon_manager.hpp
2007-12-16 Tim Goyarestore trunk
2007-12-16 Tim Goyaclean out source
2007-04-01 Christoph SommerAdded Add-ons for Add-on manager, so online checks...
2007-01-28 Arvid NorlanderFixed trailing whitespaces in all(?) source files of...
2007-01-25 Christoph SommerExperiments with Addon Manager. To try it out, install...