Closed fchapoton closed 1 year ago
purely trivial changes, only affects whitespaces (and a few whitelines)
also activates this check in the linter
purely trivial changes, only affects whitespaces (and a few whitelines)
also activates this check in the linter