diff options
| author | Brian Drummond | 2014-01-22 12:27:03 +0000 |
|---|---|---|
| committer | Brian Drummond | 2014-01-22 12:27:03 +0000 |
| commit | bc3a3375eaae07a7f68eabd9d5c7ca53cf6c2565 (patch) | |
| tree | b1061054fe9d1eac2d5df2d8136f6bdae6188a17 /lists.adb | |
| parent | 8a86266cf0a9ddfccdd4a68c28b23495ef08dfa6 (diff) | |
| download | ghdl-bc3a3375eaae07a7f68eabd9d5c7ca53cf6c2565.tar.gz ghdl-bc3a3375eaae07a7f68eabd9d5c7ca53cf6c2565.tar.bz2 ghdl-bc3a3375eaae07a7f68eabd9d5c7ca53cf6c2565.zip | |
Update declarations in ortho_debug.private.ads to allow new commit to ortho_debug to build. Remove duplicated --help clause in grt-options.
Diffstat (limited to 'lists.adb')
0 files changed, 0 insertions, 0 deletions