diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2020-12-28 22:19:37 +0100 |
---|---|---|
committer | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2020-12-28 22:19:37 +0100 |
commit | 224f1fa0c327f3fa08a865d6ae79d9cdb1ba19c4 (patch) | |
tree | 188a1d41da59c18697c649daecaa1cc6a5ed533b /.github | |
parent | 03f830b44469bad7cb4ca525c7f41c20bc1dc68d (diff) | |
download | ghdl-224f1fa0c327f3fa08a865d6ae79d9cdb1ba19c4.tar.gz ghdl-224f1fa0c327f3fa08a865d6ae79d9cdb1ba19c4.tar.bz2 ghdl-224f1fa0c327f3fa08a865d6ae79d9cdb1ba19c4.zip |
Tiny improvements.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions