diff options
| author | Brian Drummond <brian@shapes.demon.co.uk> | 2013-12-13 21:03:53 +0000 |
|---|---|---|
| committer | Brian Drummond <brian@shapes.demon.co.uk> | 2013-12-13 21:03:53 +0000 |
| commit | e82419417d9e1ba71abce620f7633b81d0a0d1ce (patch) | |
| tree | baaf6d992fb30707bd0bc0e1a56f9992bb60983c /translate/grt/grt-options.adb | |
| parent | 755b02d96718fae31d8c04f6cfa1956710cc6f85 (diff) | |
| download | ghdl-e82419417d9e1ba71abce620f7633b81d0a0d1ce.tar.gz ghdl-e82419417d9e1ba71abce620f7633b81d0a0d1ce.tar.bz2 ghdl-e82419417d9e1ba71abce620f7633b81d0a0d1ce.zip | |
Previous patch for bug#16168 rewritten to match ghdl style rules
Diffstat (limited to 'translate/grt/grt-options.adb')
0 files changed, 0 insertions, 0 deletions