From edf52bbec4091df65278005e67ff2bc03721d160 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Thu, 9 Jul 2020 16:40:55 +0200
Subject: [PATCH] remove theme

---
 .ci/deploy.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.ci/deploy.sh b/.ci/deploy.sh
index 828c6222..bab2932a 100644
--- a/.ci/deploy.sh
+++ b/.ci/deploy.sh
@@ -7,6 +7,7 @@ echo $rootDir
 
 # clean previous builds
 rm -rf $rootDir/public
+rm -rf $rootDir/theme
 mkdir $rootDir/public
 
 if [[ $CI_COMMIT_BRANCH == "develop" ]]; then
-- 
GitLab