INSTALL: installation instructions are out of date
The file INSTALL refers to shell scripts ./compileLIBRARIES.sh and ./compileDENISE.sh which do not exist.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The file INSTALL refers to shell scripts ./compileLIBRARIES.sh and ./compileDENISE.sh which do not exist.