-
Adam Szalkowski authored
removed the old ilp based spiller and the appel spiller (which was never finished and probably never will)
4a9b94f4
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
removed the old ilp based spiller and the appel spiller (which was never finished and probably never will)