diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-12-15 13:15:39 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-12-15 13:16:24 +0100 |
| commit | 861607011d5146eb23d9afe7f6d2f47148302417 (patch) | |
| tree | fa88395b8b901028e5d085da6af3bc8719e6b19b /src/options.adb | |
| parent | ba7b4c65e28fd3de9df3a3b61e3394cc470115d3 (diff) | |
| download | ghdl-861607011d5146eb23d9afe7f6d2f47148302417.tar.gz ghdl-861607011d5146eb23d9afe7f6d2f47148302417.tar.bz2 ghdl-861607011d5146eb23d9afe7f6d2f47148302417.zip | |
Get_Object_Prefix: Strengthen.
Diffstat (limited to 'src/options.adb')
0 files changed, 0 insertions, 0 deletions