summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYigit Sever2020-11-06 20:54:17 +0300
committerYigit Sever2020-11-06 20:54:17 +0300
commit8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7 (patch)
tree5c135bb696ae459fcc669067980e5471640a6e52
parentf3165d4e09ca88363ef36e9d89daef05a663f415 (diff)
downloaddotfiles-8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7.tar.gz
dotfiles-8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7.tar.bz2
dotfiles-8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7.zip
bye vale
-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