Dropped coverage server for now

This commit is contained in:
Thomas Boerger 2016-11-07 14:34:02 +01:00
Родитель 3a5838c94e
Коммит 43d406285c
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 5A388F55283960B6
1 изменённых файлов: 0 добавлений и 1 удалений

Просмотреть файл

@ -15,7 +15,6 @@ pipeline:
coverage: coverage:
image: plugins/coverage image: plugins/coverage
server: http://coverage.gitea.io
gitter: gitter:
image: plugins/gitter image: plugins/gitter