diff options
| author | Tarik Graba <tarikgraba@users.noreply.github.com> | 2017-06-29 10:15:52 +0200 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2017-06-29 09:15:52 +0100 |
| commit | 01ecf2a75f60fff8884ad7858da44b3c5f71bc11 (patch) | |
| tree | e22a78c39ecf0a71612ee71e4c10f9ed99e249d9 /ale_linters/texinfo | |
| parent | 7eec1f2efc01b0674ccc96baaa4f529d803ddf55 (diff) | |
| download | ale-01ecf2a75f60fff8884ad7858da44b3c5f71bc11.zip | |
Adds an option to pass additional arguments to the verilog/verilator … (#698)
* Adds an option to pass additional arguments to the verilog/verilator linter
The new otion is g:ale_verilog_verilator_options
+ doc
* Spell check verilog linter doc file
* Add entries to the verilog linters in the doc table of content
* Vader test for verilog/verilator linter args option verilog_verilator_options
Diffstat (limited to 'ale_linters/texinfo')
0 files changed, 0 insertions, 0 deletions