All issues

Search results

Could we also get exclusions from .gitignore?

Status: Open.

#79 In agda/fix-whitespace;

· philderbeast opened on Mar 19, 2026

DOS line-endings

Status: Open.

#69 In agda/fix-whitespace;

· phadej opened on Mar 7, 2025

Keeping the tabs that are recipe prefixes?

Status: Open.

#62 In agda/fix-whitespace;

· philderbeast opened on May 21, 2024

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

Use fix-whitespace.yaml as filter when file arguments are given

enhancementNew feature or requestNew feature or request

PR welcome

Status: Open.

#30 In agda/fix-whitespace;

· andreasabel opened on Oct 29, 2021

·  

0.2