diff options
| author | Jonas Baggett <jonasb@tranquille.ch> | 2016-08-03 14:09:44 +0200 |
|---|---|---|
| committer | Jonas Baggett <jonasb@tranquille.ch> | 2016-08-03 15:39:47 +0200 |
| commit | 27b09fc457c10067f5aaa77ed150628095060751 (patch) | |
| tree | 5d806d0f5e3d44e2e5b0e679b466b4c5f1552d31 /src/grt/grt-errors.adb | |
| parent | 2a59efdd6dfbebd18394d76a13fc8f90e2f49f32 (diff) | |
| download | ghdl-27b09fc457c10067f5aaa77ed150628095060751.tar.gz ghdl-27b09fc457c10067f5aaa77ed150628095060751.tar.bz2 ghdl-27b09fc457c10067f5aaa77ed150628095060751.zip | |
Rename --wave-option-file to --wave-opt-file
Documentation and description added for the --wave-opt-file option.
Diffstat (limited to 'src/grt/grt-errors.adb')
0 files changed, 0 insertions, 0 deletions