add a jena variant with gui enabled
Code
Änderungen prüfen
Branch auschecken
In Arbeitsbereich öffnen
Herunterladen
Patches
Unformatierter Diff
Menüleiste ausklappen
add a jena variant with gui enabled
René Fritze
requested to merge
jena_gui
into
main
Oct 13, 2022
Overview
0
Commits
4
Pipelines
7
Changes
20
Merge request reports
Loading