diff options
| author | Brian Drummond | 2013-12-02 17:18:57 +0000 |
|---|---|---|
| committer | Brian Drummond | 2013-12-02 17:18:57 +0000 |
| commit | 1b8811469be10b058724a83f9dad8702de47d582 (patch) | |
| tree | 9f1194d48290dff473bbb83306d2d68b4c20f446 /options.adb | |
| parent | 860a1de17cf5efab4c6db48fb28e6038d1584b81 (diff) | |
| download | ghdl-1b8811469be10b058724a83f9dad8702de47d582.tar.gz ghdl-1b8811469be10b058724a83f9dad8702de47d582.tar.bz2 ghdl-1b8811469be10b058724a83f9dad8702de47d582.zip | |
Minor fix for https://gna.org/support/?group=ghdl issues 3060 and 2686
Diffstat (limited to 'options.adb')
0 files changed, 0 insertions, 0 deletions