From 05e3b4b0e27f8e87aca05f528acbb105681df878 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Mon, 25 Jun 2018 16:35:04 +0200
Subject: Reuse CI info to know which version of plugins to build on Windows.

---
 dev/ci/user-overlays/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ci/user-overlays/README.md')

diff --git a/dev/ci/user-overlays/README.md b/dev/ci/user-overlays/README.md
index 41212568d..11e4d9ae0 100644
--- a/dev/ci/user-overlays/README.md
+++ b/dev/ci/user-overlays/README.md
@@ -24,7 +24,7 @@ Example: `00669-maximedenes-ssr-merge.sh` containing
 
 if [ "$CI_PULL_REQUEST" = "669" ] || [ "$CI_BRANCH" = "ssr-merge" ]; then
     mathcomp_CI_BRANCH=ssr-merge
-    mathcomp_CI_GITURL=https://github.com/maximedenes/math-comp.git
+    mathcomp_CI_GITURL=https://github.com/maximedenes/math-comp
 fi
 ```
 
-- 
cgit v1.2.3