LevelX2 e2453abbb5 * Fixed a bug that some options in preferences were handled with the wrong state as long as never set manually.		2015-09-29 17:26:29 +02:00
..
server	* Fixed a bug that some options in preferences were handled with the wrong state as long as never set manually.	2015-09-29 17:26:29 +02:00