diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-07-09 18:37:55 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-07-09 18:37:55 +0200 |
commit | c42f7a633bd81d5485c728ba49c3d17ac54feb63 (patch) | |
tree | 2168b05c7c68e17f430345f3c8503aef6b25c604 /src/str_table.adb | |
parent | c9154b24444b1378a274ffbdf21a7a8758492d38 (diff) | |
download | ghdl-c42f7a633bd81d5485c728ba49c3d17ac54feb63.tar.gz ghdl-c42f7a633bd81d5485c728ba49c3d17ac54feb63.tar.bz2 ghdl-c42f7a633bd81d5485c728ba49c3d17ac54feb63.zip |
fix: *gcc* build and run docker images are now named *gcc (#865)
Diffstat (limited to 'src/str_table.adb')
0 files changed, 0 insertions, 0 deletions