diff options
author | Stefan Biereigel <stefan@biereigel.de> | 2019-03-12 21:37:50 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-03-13 08:02:22 +0100 |
commit | 5a73edcb5c4e113c0037ef8759c4e3ab9665ee22 (patch) | |
tree | 6728a57f59649298f469d14814215086c667be17 /src/grt/grt-processes.ads | |
parent | 823147f26c65ed8079803f302d4bd96b162b378d (diff) | |
download | ghdl-5a73edcb5c4e113c0037ef8759c4e3ab9665ee22.tar.gz ghdl-5a73edcb5c4e113c0037ef8759c4e3ab9665ee22.tar.bz2 ghdl-5a73edcb5c4e113c0037ef8759c4e3ab9665ee22.zip |
fix gnat8 errors for libghdlsynth targets
Diffstat (limited to 'src/grt/grt-processes.ads')
0 files changed, 0 insertions, 0 deletions