-
Matthias Braun authored
The verifier has been broken and therefore unused for a while, remove it for now.
5224ed3c
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The verifier has been broken and therefore unused for a while, remove it for now.