diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2016-10-09 08:52:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-09 08:52:59 +0100 |
| commit | 3044200c8a619b679fb284183c1941a065b39625 (patch) | |
| tree | b536d2cabd9bb79c714f1be929a7ae39a42d7962 /plugin | |
| parent | 16496674c64c0467029107df2e76940703641627 (diff) | |
| parent | 85195b56df735ea76174e092d5717421c03bf79f (diff) | |
| download | ale-3044200c8a619b679fb284183c1941a065b39625.zip | |
Merge pull request #70 from mshr-h/add-comment-header
Add comment headers to verilog linters
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions