Closed benjamb closed 1 month ago
Fix remaining complaints and commit the formatting changes.
@barthalion What do you think? It'll be best to go commit by commit, since the formatting change moved a lot of things around.
Fix remaining complaints and commit the formatting changes.