Skip to content
GitLab
Erkunden
Anmelden
Registrieren
Fix short desc lang (switch de <-> en)
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Moritz Scholz
schlägt
Dez 23, 2017
vor,
dev
in
master
zu mergen.
Übersicht
0
Commits
1
Pipelines
0
Änderungen
1
Aufklappen
Merge Request-Berichte