diff options
| -rw-r--r-- | util/lint/spelling.txt | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/util/lint/spelling.txt b/util/lint/spelling.txt index 1263144d9e..58fe30d406 100644 --- a/util/lint/spelling.txt +++ b/util/lint/spelling.txt @@ -7,10 +7,15 @@ # The format of each line is: # mistake||correction # -# Note that "sepc" and "acknowledgement" have been commented out. - +# Some entries may trigger false-positives, and have been commented out: +# +# Reason: Both spellings are correct. #acknowledgement||acknowledgment +# +# Reason: On RISC-V, `SEPC` is the name of a register. #sepc||spec +# + ACII||ASCII Debiab||Debian FTBS||FTBFS |