-
Matthias Braun authored
You have to think about the is_Proj() special case, so factoring this out is warranted.
f9733cbf
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
You have to think about the is_Proj() special case, so factoring this out is warranted.