From 8f43a8a751765523df5d2f36c66fa6a7ae1d66ae Mon Sep 17 00:00:00 2001
From: David Boddie <david.boddie@puri.sm>
Date: Mon, 11 Mar 2019 19:14:49 +0100
Subject: [PATCH] Remove unused CI file

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 89d12be..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,7 +0,0 @@
-stages:
-  - none
-
-build_html:
-  stage: none
-  script:
-    - echo "No CI"