diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-09-05 06:16:45 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-09-05 06:16:45 +0200 |
| commit | 0e866eed7dc5adb6eb3426d27fc8fdc9aac69e26 (patch) | |
| tree | bc02be272e1d0d69314a48c9caee490c390f3212 /src/files_map.adb | |
| parent | f170a6ec3514350323ad48f1c2190a0a8d60ccf7 (diff) | |
| download | ghdl-0e866eed7dc5adb6eb3426d27fc8fdc9aac69e26.tar.gz ghdl-0e866eed7dc5adb6eb3426d27fc8fdc9aac69e26.tar.bz2 ghdl-0e866eed7dc5adb6eb3426d27fc8fdc9aac69e26.zip | |
Fix wave-opt option names in doc.
Fix #187
Diffstat (limited to 'src/files_map.adb')
0 files changed, 0 insertions, 0 deletions