Merge branch 'improve/gitignore' into 'develop'
authorHaelwenn <contact+git.pleroma.social@hacktivis.me>
Thu, 9 May 2019 17:03:37 +0000 (17:03 +0000)
committerHaelwenn <contact+git.pleroma.social@hacktivis.me>
Thu, 9 May 2019 17:03:37 +0000 (17:03 +0000)
Prevent committing code coverage results to the repo

See merge request pleroma/pleroma!1128


Trivial merge