diff options
author | Yigit Sever | 2020-11-06 20:54:17 +0300 |
---|---|---|
committer | Yigit Sever | 2020-11-06 20:54:17 +0300 |
commit | 8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7 (patch) | |
tree | 5c135bb696ae459fcc669067980e5471640a6e52 | |
parent | f3165d4e09ca88363ef36e9d89daef05a663f415 (diff) | |
download | dotfiles-8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7.tar.gz dotfiles-8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7.tar.bz2 dotfiles-8d52c402529ee0eb4720e47c1cb0a93ca2bd44e7.zip |
bye vale
-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 | ||