Open sorki opened 7 months ago
and also double new-lines. This we loose with ormolu removal but it is also an overkill for that (a grep should do).
and also double new-lines. This we loose with ormolu removal but it is also an overkill for that (a grep should do).