Skip to content
GitLab
Erkunden
Anmelden
Registrieren
Archiviertes Projekt. Repository und andere Projektressourcen sind schreibgeschützt
Dev
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Michael Danielczok
schlägt
Dez 01, 2020
vor,
dev
in
master
zu mergen.
Übersicht
0
Commits
2
Pipelines
0
Änderungen
2
Aufklappen
Merge Request-Berichte