Skip to content

use modern List features#57

Merged
stbischof merged 1 commit intoeclipse-daanse:mainfrom
stbischof:main
Dec 7, 2025
Merged

use modern List features#57
stbischof merged 1 commit intoeclipse-daanse:mainfrom
stbischof:main

Commits

Commits on Dec 7, 2025