Moritz Neeb 0747dd0f5f accidentally call after big raise blocker activated by default

2012-08-13 04:43:40 +02:00

..

configfile.cpp

accidentally call after big raise blocker activated by default

2012-08-13 04:43:40 +02:00

configfile.h

When loading the configuration, verify that the player names are unique. If they are not, use the default ones. (#96)

2012-01-09 18:40:51 +00:00