List view

Performance problem with error message feature

error reportingConcering errors reported by fix-whitespaceConcering errors reported by fix-whitespace

performance

Status: Open.

#48 In agda/fix-whitespace;

· andreasabel opened on Feb 17, 2023

Report error when file does not end with a newline character

error reportingConcering errors reported by fix-whitespaceConcering errors reported by fix-whitespace

Status: Open.

#47 In agda/fix-whitespace;

· andreasabel opened on Feb 17, 2023