From 5cf7224c1cd7507eabe415951faad687e0a8f119 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 4 Feb 2019 18:00:42 +0100
Subject: Remove AppVeyor: superseded by Azure.

---
 README.md | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 65673ab1fe..5df8423ef4 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,6 @@
 
 [![GitLab][gitlab-badge]][gitlab-link]
 [![Azure Pipelines][azure-badge]][azure-link]
-[![Appveyor][appveyor-badge]][appveyor-link]
 [![Gitter][gitter-badge]][gitter-link]
 [![DOI][doi-badge]][doi-link]
 
@@ -12,9 +11,6 @@
 [azure-badge]: https://dev.azure.com/coq/coq/_apis/build/status/coq.coq?branchName=master
 [azure-link]: https://dev.azure.com/coq/coq/_build/latest?definitionId=1?branchName=master
 
-[appveyor-badge]: https://ci.appveyor.com/api/projects/status/eln43k05pa2vm908/branch/master?svg=true
-[appveyor-link]: https://ci.appveyor.com/project/coq/coq/branch/master
-
 [gitter-badge]: https://badges.gitter.im/coq/coq.svg
 [gitter-link]: https://gitter.im/coq/coq
 
-- 
cgit v1.2.3