Skip to content

Draft: testing/fix-whitespace: new aport

River Dillon requested to merge outerpassage/aports:fix-whitespace into master

https://github.com/agda/fix-whitespace

fixes whitespace issues

Edited by River Dillon

Merge request reports