From 3428f0b5b6baaddb8b143ef7f807d524f76dc126 Mon Sep 17 00:00:00 2001
From: Lambert Theisen <lambert.theisen@rwth-aachen.de>
Date: Fri, 13 Dec 2019 23:48:19 +0000
Subject: [PATCH] Clean repo
---
.gitlab/.gitlab-webide.yml | 5 -----
info.json | 6 ------
2 files changed, 11 deletions(-)
delete mode 100644 .gitlab/.gitlab-webide.yml
delete mode 100644 info.json
diff --git a/.gitlab/.gitlab-webide.yml b/.gitlab/.gitlab-webide.yml
deleted file mode 100644
index 27309c9..0000000
--- a/.gitlab/.gitlab-webide.yml
+++ /dev/null
@@ -1,5 +0,0 @@
-terminal:
- image:
- name: $CI_REGISTRY_IMAGE:latest
- entrypoint: [""]
- script: sleep 60
diff --git a/info.json b/info.json
deleted file mode 100644
index fc1ecba..0000000
--- a/info.json
+++ /dev/null
@@ -1,6 +0,0 @@
-{
- "schemaVersion": 1,
- "label": "tag",
- "message": "v0.3",
- "color": "orange"
-}
--
GitLab