aboutsummaryrefslogtreecommitdiff
path: root/python/dummy/stdint.h
diff options
context:
space:
mode:
authorHubert Chathi <hubert@uhoreg.ca>2018-10-12 19:19:19 -0400
committerHubert Chathi <hubert@uhoreg.ca>2018-10-12 19:19:19 -0400
commit6c2f136bc997c33979979dc24d310b27a76082d1 (patch)
tree0cea5fe4b347e6ec814d3ee629f89db57dd5b83e /python/dummy/stdint.h
parent718763f8fc8c0650fd880b32fe9bbf931d7e2183 (diff)
remove code coverage and TravisCI badges
since they're not for the right repository any more
Diffstat (limited to 'python/dummy/stdint.h')
0 files changed, 0 insertions, 0 deletions