diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-07-01 22:08:51 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-07-01 22:08:51 +0200 |
| commit | f694f54d851747c4cd9a5ba5e35bfa21c6fb9921 (patch) | |
| tree | 1bf7c8c18b64137fec463eeecea08c3fb330fbb1 /.github | |
| parent | 6bc221560e88b7e5b6977ab0811f48f192db064a (diff) | |
| download | ghdl-f694f54d851747c4cd9a5ba5e35bfa21c6fb9921.tar.gz ghdl-f694f54d851747c4cd9a5ba5e35bfa21c6fb9921.tar.bz2 ghdl-f694f54d851747c4cd9a5ba5e35bfa21c6fb9921.zip | |
vhdl-scanner: be case-insensitive for pragma in comments.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions