Remove unused folder

DOMjudge · Dec 7, 2024 · abbcb97 · abbcb97
1 parent 0b80eb8
commit abbcb97
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 273 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