Skip to content

remove GRPackage extensions on packages other than latest Pharo#1441

Merged
jbrichau merged 1 commit intomasterfrom grpackage-removalAug 13, 2024