Skip to content
GitLab
Erkunden
Anmelden
Registrieren
WIP: Dev
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Jan Wennrich
schlägt
Aug 03, 2018
vor,
dev
in
master
zu mergen.
Übersicht
1
Commits
13
Pipelines
0
Änderungen
6
Aufklappen
Merge Request-Berichte