diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-05 17:08:54 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 21:02:21 +0100 |
commit | b4a301a37fc2b4f5515a7aa611c858ba6cba837f (patch) | |
tree | 6c9bb78d196e0a496b7610de678759a4ff0bfcd0 /src/interning.ads | |
parent | 0747980c3e8bf101abee2aad730f03da1411d318 (diff) | |
download | ghdl-b4a301a37fc2b4f5515a7aa611c858ba6cba837f.tar.gz ghdl-b4a301a37fc2b4f5515a7aa611c858ba6cba837f.tar.bz2 ghdl-b4a301a37fc2b4f5515a7aa611c858ba6cba837f.zip |
cli: add 'version ref' and 'version hash'
Diffstat (limited to 'src/interning.ads')
0 files changed, 0 insertions, 0 deletions