From 053e64206aa70c6a12c75b59e8267eeaba00d1ce Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 8 May 2019 20:40:19 +0200
Subject: Remove ltac2 add-on from Windows installer now that it is in the main
 Coq package.

---
 dev/ci/gitlab.bat | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev/ci/gitlab.bat')

diff --git a/dev/ci/gitlab.bat b/dev/ci/gitlab.bat
index cc1931d13d..6c4ccfc14d 100755
--- a/dev/ci/gitlab.bat
+++ b/dev/ci/gitlab.bat
@@ -41,7 +41,6 @@ IF "%WINDOWS%" == "enabled_all_addons" (
   SET EXTRA_ADDONS=^
     -addon=bignums ^
     -addon=equations ^
-    -addon=ltac2 ^
     -addon=mtac2 ^
     -addon=mathcomp ^
     -addon=menhir ^
-- 
cgit v1.2.3