Andreas Rumpf 778e4d1775 nimpretty: fixes #9144		2018-10-16 17:21:41 +02:00
..
expected	nimpretty: fixes #9144	2018-10-16 17:21:41 +02:00
exhaustive.nim	nimpretty: add #!nimpretty on/off directives	2018-10-16 16:55:04 +02:00
simple.nim	nimpretty: fixes #9144	2018-10-16 17:21:41 +02:00