Patrick Lühne 0bb79b6b23 Removed quirk that has become unnecessary with Clingo’s variants.		2017-03-23 01:02:53 +01:00
..
anthem	Removed quirk that has become unnecessary with Clingo’s variants.	2017-03-23 01:02:53 +01:00