Default branch

main 3175339bae · Merge pull request 'maven' (#1) from maven into main · Updated 2025-05-04 15:07:47 +02:00

ZIP  TAR.GZ

Branches

maven f17ff0c152 · [maven-release-plugin] prepare for next development iteration · Updated 2025-05-04 15:05:59 +02:00    johan	1 0	#1 Merged	ZIP  TAR.GZ
state cf3ff3f982 · Documentation and merge behaviour for state files · Updated 2025-04-19 19:24:45 +02:00    johan	13 4	Compare	ZIP  TAR.GZ