diff options
| -rw-r--r-- | .vale.ini | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.vale.ini b/.vale.ini deleted file mode 100644 index e586d1b..0000000 --- a/.vale.ini +++ /dev/null | |||
| @@ -1,5 +0,0 @@ | |||
| 1 | # Alerts are assigned a level of suggestion, warning, or error. | ||
| 2 | MinAlertLevel = warning | ||
| 3 | |||
| 4 | [*.tex] | ||
| 5 | BasedOnStyles = write-good, proselint, Joblint | ||
