Remove unused folder

DOMjudge · Dec 7, 2024 · 22c772b · 22c772b
1 parent 6cd56b7
commit 22c772b
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 317 deletions.
diff --git a/gitlab/base.sh b/gitlab/base.sh
diff --git a/gitlab/ci/template.yml b/gitlab/ci/template.yml
diff --git a/gitlab/ci/unit.yml b/gitlab/ci/unit.yml
diff --git a/gitlab/ci_settings.sh b/gitlab/ci_settings.sh
diff --git a/gitlab/default-nginx b/gitlab/default-nginx
diff --git a/gitlab/jsontogitlab.py b/gitlab/jsontogitlab.py