Skip to content
Jenkins
OMERO-build
Changes
Search
Sign in
Status
Changes
Builds
Loading builds...
No builds
Newer builds
Older builds
Changes between #142 and #143
#143 (May 5, 2026, 7:37:07 AM)
merge develop -Dorg -Ssuccess-only —
snoopycrimecop
/
githubweb
Add version.properties to etc/omero.properties —
snoopycrimecop
/
githubweb