diff options
author | tgingold <tgingold@users.noreply.github.com> | 2017-02-18 06:29:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-18 06:29:53 +0100 |
commit | 656eca3dc94e54de94520cfb22079e6aafb4e4eb (patch) | |
tree | 1ae0b1e9fd0431662e5d64e02e39e4c9c8fcac65 /COPYING | |
parent | 5f6dfc4373418815637a1fa3de15a2d3b025b0ff (diff) | |
parent | 8c167a344fc568e41b2bd7735394be49600aafbb (diff) | |
download | ghdl-656eca3dc94e54de94520cfb22079e6aafb4e4eb.tar.gz ghdl-656eca3dc94e54de94520cfb22079e6aafb4e4eb.tar.bz2 ghdl-656eca3dc94e54de94520cfb22079e6aafb4e4eb.zip |
Merge pull request #287 from 1138-4EB/rtdversion
Fix #221
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions