-
Sarah Grebing authored
fixed notsupported exception for non execution area highlighting and implemnted mainscriptidentifier for prooftreecontroller
9ab25960
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
fixed notsupported exception for non execution area highlighting and implemnted mainscriptidentifier for prooftreecontroller