diff options
| author | Kaleb Barrett <dev.ktbarrett@gmail.com> | 2020-07-16 21:37:33 -0500 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-07-19 08:35:40 +0200 |
| commit | 3808a155fd56a5c0162b1c1c4e6e467a233cb0d5 (patch) | |
| tree | a3c35ec99a551d3dc0e1d93d92c53cedec7ef882 /src/grt/config | |
| parent | a889a32c0eb359bbb8b3d941226b1129106e5510 (diff) | |
| download | ghdl-3808a155fd56a5c0162b1c1c4e6e467a233cb0d5.tar.gz ghdl-3808a155fd56a5c0162b1c1c4e6e467a233cb0d5.tar.bz2 ghdl-3808a155fd56a5c0162b1c1c4e6e467a233cb0d5.zip | |
Return correct verison number in vpi_get_vlog_info
Diffstat (limited to 'src/grt/config')
0 files changed, 0 insertions, 0 deletions