Marcell Mars b0ec5615b1 fixed bug already fixed in the default file.. it lists extra ascriptions fine now..		2021-08-22 12:12:08 +02:00
..
Dotawo	fixed bug already fixed in the default file.. it lists extra ascriptions fine now..	2021-08-22 12:12:08 +02:00
RaceCriticalTheories	bunch of unifying formatting	2020-12-15 02:09:00 +01:00