diff options
author | tgingold <tgingold@users.noreply.github.com> | 2017-01-06 05:50:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-06 05:50:21 +0100 |
commit | eec8ef9d7b1e14c636f4dc7a8a86073504403830 (patch) | |
tree | af57d47fc380869da9cbdbd05d177ef27e6f8f12 /.travis.yml | |
parent | 603e2fe204cb578e2ac3f67b80a1c447205d40b2 (diff) | |
parent | 46b02a2f1217646ee475e5169a372690d88255ea (diff) | |
download | ghdl-eec8ef9d7b1e14c636f4dc7a8a86073504403830.tar.gz ghdl-eec8ef9d7b1e14c636f4dc7a8a86073504403830.tar.bz2 ghdl-eec8ef9d7b1e14c636f4dc7a8a86073504403830.zip |
Merge pull request #251 from thomashk0/issue228
removing PSL coverage hit default report
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions