summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.vale.ini5
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.
2MinAlertLevel = warning
3
4[*.tex]
5BasedOnStyles = write-good, proselint, Joblint