diff options
| author | Yigit Sever | 2019-10-23 02:19:01 +0300 |
|---|---|---|
| committer | Yigit Sever | 2019-10-23 02:19:27 +0300 |
| commit | a117f46f4130485fa2acd57d00d31b140c547039 (patch) | |
| tree | 8dd6c7791a240b3fe6b8989cf487762a4d1a3b3a /.vale.ini | |
| parent | 32086d9efac2042b05201dd6fd830906a0af3ae4 (diff) | |
| download | dotfiles-a117f46f4130485fa2acd57d00d31b140c547039.tar.gz dotfiles-a117f46f4130485fa2acd57d00d31b140c547039.tar.bz2 dotfiles-a117f46f4130485fa2acd57d00d31b140c547039.zip | |
New latex linter
Diffstat (limited to '.vale.ini')
| -rw-r--r-- | .vale.ini | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.vale.ini b/.vale.ini new file mode 100644 index 0000000..e586d1b --- /dev/null +++ b/.vale.ini | |||
| @@ -0,0 +1,5 @@ | |||
| 1 | # Alerts are assigned a level of suggestion, warning, or error. | ||
| 2 | MinAlertLevel = warning | ||
| 3 | |||
| 4 | [*.tex] | ||
| 5 | BasedOnStyles = write-good, proselint, Joblint | ||