diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2016-11-05 13:26:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-05 13:26:13 +0100 |
| commit | 2d6ebdf8202754df007c3d20e6626ba9c5caa900 (patch) | |
| tree | 6fe74d085d57474eaadd45bf3d9ba65cbf1d4ac5 /doc | |
| parent | b106247a9843880bcfa3611444e20696f0fb35ae (diff) | |
| parent | 8465139698ebbdfd30dd39f9c80ca75ba1f0a6b1 (diff) | |
| download | ghdl-2d6ebdf8202754df007c3d20e6626ba9c5caa900.tar.gz ghdl-2d6ebdf8202754df007c3d20e6626ba9c5caa900.tar.bz2 ghdl-2d6ebdf8202754df007c3d20e6626ba9c5caa900.zip | |
Merge pull request #185 from vicencb/master
Minor fixes
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions