Skip to content

WIP: Update default Greclipse version#2924

Draft
jochenberger wants to merge 1 commit into
diffplug:mainfrom
jochenberger:update-greclipse
Draft

WIP: Update default Greclipse version#2924
jochenberger wants to merge 1 commit into
diffplug:mainfrom
jochenberger:update-greclipse

Commits

Commits on May 13, 2026