diff options
| author | gingold | 2006-06-16 18:41:15 +0000 |
|---|---|---|
| committer | gingold | 2006-06-16 18:41:15 +0000 |
| commit | a8db752954f060217f21417bd98077a215fab971 (patch) | |
| tree | d1a786459661d992376bb583423f790bb1cf8f38 /translate/grt/grt-options.adb | |
| parent | 549cfe1c332be3633121dfd6d29b98afc24d2650 (diff) | |
| download | ghdl-a8db752954f060217f21417bd98077a215fab971.tar.gz ghdl-a8db752954f060217f21417bd98077a215fab971.tar.bz2 ghdl-a8db752954f060217f21417bd98077a215fab971.zip | |
bug fixes
Diffstat (limited to 'translate/grt/grt-options.adb')
0 files changed, 0 insertions, 0 deletions