-
Alexander Weigl authored
* 'fmVersion' of git.scc.kit.edu:xt9634/ProofScriptParser: minor sizing issue
51ea4b27
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
* 'fmVersion' of git.scc.kit.edu:xt9634/ProofScriptParser: minor sizing issue