Update documentation with new naming.
Code
Änderungen prüfen
Branch auschecken
In Arbeitsbereich öffnen
Herunterladen
Patches
Unformatierter Diff
Menüleiste ausklappen
Update documentation with new naming.
Hock, Martin
requested to merge
dev
into
main
Jun 29, 2022
Overview
4
Commits
7
Pipelines
6
Changes
4
Update minor corrections for v.01
replace v0.1 tag after merge
Edited
Jul 06, 2022
by
Hock, Martin
Merge request reports
Loading