diff options
| author | gingold | 2009-12-30 13:27:55 +0000 |
|---|---|---|
| committer | gingold | 2009-12-30 13:27:55 +0000 |
| commit | f529e7bae13bfb58075c495552a9cbfdd0f10f88 (patch) | |
| tree | 994923d0dee7f6f331202c7df5985736428cb1a1 /options.adb | |
| parent | 4600532b78f9c901cd32cc079f2567708dc81fc8 (diff) | |
| download | ghdl-f529e7bae13bfb58075c495552a9cbfdd0f10f88.tar.gz ghdl-f529e7bae13bfb58075c495552a9cbfdd0f10f88.tar.bz2 ghdl-f529e7bae13bfb58075c495552a9cbfdd0f10f88.zip | |
Fix previous change.
Correction from Thomas Sailer.
Diffstat (limited to 'options.adb')
0 files changed, 0 insertions, 0 deletions