chiark / gitweb /
README: fix name on CI badges
authorHans-Christoph Steiner <hans@eds.org>
Fri, 5 Jan 2018 12:39:18 +0000 (13:39 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Fri, 5 Jan 2018 12:39:18 +0000 (13:39 +0100)
commit0baa163b01e4d89ff67bbf9671f68c1b36edf511
tree3f229b045fee4e711763b6550f14e01e6b5b2d91
parent6d69dcddd95fe08ffe431e305932cfdeafd6fc9d
README: fix name on CI badges
README.md