Steffen Jost 718a2b026c Correction stats coded, but not yet used online		2019-06-14 17:05:45 +02:00
..
settings.json	filter corrected towards #270	2019-01-23 14:48:17 +01:00
tasks.json	Correction stats coded, but not yet used online	2019-06-14 17:05:45 +02:00