From a2aab722a1541fe649909af4e88a7c00e7f93dbf Mon Sep 17 00:00:00 2001
From: ROSPARS Benoit <benoit.rospars@inria.fr>
Date: Thu, 14 Feb 2019 11:29:43 +0100
Subject: [PATCH] Remove ci

---
 .gitlab-ci.yml | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 7679a25..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,9 +0,0 @@
-pages:
-  stage: deploy
-  script:
-  - echo 'Nothing to do...'
-  artifacts:
-    paths:
-    - public
-  only:
-  - master
-- 
2.18.1