From bfdfab70bdfcfdc5d01b8910f7ce3b6e8148c65a Mon Sep 17 00:00:00 2001
From: Leonard Haddad <s_xsipo6@uni-bremen.de>
Date: Wed, 24 Jun 2020 18:33:55 +0200
Subject: [PATCH] Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 12dba0de..5933d60a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,7 +1,6 @@
 image: java:latest
 
 stages:
-  - tex
   - assemble
   - build
   - javadoc
-- 
GitLab