SLiPCoR 03b1335c97 Update player name in case it has changed. ... TODO: Check for double names if that happens? In general?		2014-07-24 11:53:09 +02:00
..
assembly	Normalize line endings	2013-03-08 21:42:26 +01:00
java	Update player name in case it has changed.	2014-07-24 11:53:09 +02:00
resources	Remove hidden interval option	2014-07-24 01:08:01 +02:00