Skip to content

Improve osgi and jpms configuration#1370

Merged
derTobsch merged 1 commit into
mainfrom
improve-osgi-and-jpms
Jul 15, 2026
Merged

Improve osgi and jpms configuration#1370
derTobsch merged 1 commit into
mainfrom
improve-osgi-and-jpms