tree ab54ec1d49ffda63b0f1c69ed292fe4b6d8503fa
parent 38329ebacf363cf2f41f0182ada6e2a7c003029e
author Julien Schmidt <julienschmidt@users.noreply.github.com> 1470858818 +0200
committer GitHub <noreply@github.com> 1470858818 +0200

README: try to fix the coverage badge