aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAnna “CyberTailor” <cyber@sysrq.in>2024-01-09 08:41:08 +0000
committerOmar Polo <op@omarpolo.com>2024-01-09 08:41:08 +0000
commit4b77fc3240db7fb18bbad7dc187a2860ef46ec3f (patch)
tree75607b2b7f687e088819a72930cea0f51de79d4e /.gitignore
parentdd3f04b22709a1c169a8d1689e8244214e0a7c32 (diff)
contrib/vim: add ALE linter
ALE is faster and otherwise better alternative to Syntastic.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 9e51b12..2a74d3a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@ config.log.old
config.mk
configure.local
!contrib/gmid
+!contrib/vim/ale_linters/gmid
!contrib/vim/syntax_checkers/gmid
regress/testdata
regress/*.pem