-
Florian Wittkamp authored
Renaming: QUELLART -> SOURCE_SHAPE QUELLTYP -> SOURCE_TYPE QUELLTYPB -> ADJOINT_TYPE DAMPING -> VPPML
516317df
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
On May 8th, the pilot GitLab server will be completely deleted.
Renaming: QUELLART -> SOURCE_SHAPE QUELLTYP -> SOURCE_TYPE QUELLTYPB -> ADJOINT_TYPE DAMPING -> VPPML