diff options
author | w0rp <devw0rp@gmail.com> | 2018-06-23 18:20:39 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2018-06-23 18:20:39 +0100 |
commit | 0f377251dd90439029435d444594539f854957de (patch) | |
tree | 3d1ad9028cda63b9b2694403776dc22b1558271d /doc/ale.txt | |
parent | 935740cf9310f52c60a67b33cfcd74f0140d95b8 (diff) | |
download | ale-0f377251dd90439029435d444594539f854957de.zip |
#1674 - Alias verilog_systemverilog to verilog by default
Diffstat (limited to 'doc/ale.txt')
-rw-r--r-- | doc/ale.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 84989045..daec16b4 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1125,6 +1125,7 @@ g:ale_linter_aliases *g:ale_linter_aliases* \ 'csh': 'sh', \ 'plaintex': 'tex', \ 'systemverilog': 'verilog', + \ 'verilog_systemverilog': ['verilog_systemverilog', 'verilog'], \ 'vimwiki': 'markdown', \ 'zsh': 'sh', \} |