Skip to content

Rename maven-plugin to scip-maven-plugin#908

Merged
jupblb merged 1 commit into
mainfrom
michal/maven-plg-rn
Jun 5, 2026
Merged

Rename maven-plugin to scip-maven-plugin#908
jupblb merged 1 commit into
mainfrom
michal/maven-plg-rn

Commits

Commits on Jun 4, 2026