adapt to libheinz post 1.0: unit -> unit_or_throw
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Menüleiste ausklappen
adapt to libheinz post 1.0: unit -> unit_or_throw
Joachim Wuttke
requested to merge
adaptheinz
into
main
Apr 06, 2023
Overview
0
Commits
1
Pipelines
1
Changes
18
Merge request reports
Loading