Closed Akuli closed 1 year ago
So that editors will automatically indent with 4 spaces and the like.
Fixed in #356.
So that editors will automatically indent with 4 spaces and the like.