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 | ||