Fedor Isakov ab8f4709ee Make checking for garbage optional by default. Garbage is always reported though.		2017-12-04 12:30:21 +01:00
..
languages	Typechecking templates: drop "final" features, use the prototype term feature.	2017-11-12 16:45:32 +01:00
solutions	Make checking for garbage optional by default. Garbage is always reported though.	2017-12-04 12:30:21 +01:00