diff options
author | Marlon James <marlon.james@gmail.com> | 2021-03-01 12:44:02 -0800 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-03-02 07:50:54 +0100 |
commit | a03aedddf650f923b06ebacb441a713930cd63e1 (patch) | |
tree | 13056350de2379e39802cda292c7bc023779c67f /src/grt/grt-wave_opt-file.ads | |
parent | f5e3ef10265440a3efc95281fef295cba6aab8a9 (diff) | |
download | ghdl-a03aedddf650f923b06ebacb441a713930cd63e1.tar.gz ghdl-a03aedddf650f923b06ebacb441a713930cd63e1.tar.bz2 ghdl-a03aedddf650f923b06ebacb441a713930cd63e1.zip |
VPI: support loading multiple libraries
Diffstat (limited to 'src/grt/grt-wave_opt-file.ads')
0 files changed, 0 insertions, 0 deletions