diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-01-19 04:21:38 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-01-19 04:21:38 +0100 |
| commit | 3e24b144af77e0551c71e7fe9cc1f53e04883349 (patch) | |
| tree | be5abf446e89208bf31f37a29c8a85283c7b6532 /src/grt/grt-rtis.adb | |
| parent | 005c57ece3507c4336c51f36b2febd2e6c3b4835 (diff) | |
| download | ghdl-3e24b144af77e0551c71e7fe9cc1f53e04883349.tar.gz ghdl-3e24b144af77e0551c71e7fe9cc1f53e04883349.tar.bz2 ghdl-3e24b144af77e0551c71e7fe9cc1f53e04883349.zip | |
evaluation: work-around gnatgpl 2014 bug.
Diffstat (limited to 'src/grt/grt-rtis.adb')
0 files changed, 0 insertions, 0 deletions