quick fix for bug introduced by the last commit
[supertux.git] / src / configfile.cpp
2004-03-24 Ingo Ruhnke- commited Michael George's config-file patch