diff options
author | MarcoFalke <falke.marco@gmail.com> | 2019-06-19 15:51:41 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2019-06-19 15:52:19 -0400 |
commit | 413e438ea9767710d4810c4400fd1242ca52cd1c (patch) | |
tree | 5c03aca37bf7430178d262bffbebc9dcabdc86f8 /src/threadinterrupt.h | |
parent | b1344eac5fcccd1847438ca203ce625f30d1151d (diff) | |
parent | e91f0a7af2aec7d924f00da25c69d8f46e0dd33d (diff) |
Merge #16243: doc: Remove travis badge from readme
e91f0a7af2 doc: Remove travis badge from readme (MarcoFalke)
Pull request description:
The readme(s) are shipped in the released source-code archive, in which case the travis badge is useless since it doesn't link to the travis result of the correct commit/tag/branch. GitHub embeds the correct links for each tag or commit that ci ran on, so we don't need this link in the readme.
ACKs for commit e91f0a:
hebasto:
ACK e91f0a7af2aec7d924f00da25c69d8f46e0dd33d
Tree-SHA512: 860435a58b38a9bd0bc62a1e74b3a63c138c9a2f09008a090d5ecc7fd86fa908d2e5eda41d16606507a238d9488fa5323405364a9556b670684a2e4838aead2d
Diffstat (limited to 'src/threadinterrupt.h')
0 files changed, 0 insertions, 0 deletions