Skip to content
[Jenkins]Jenkins
log in
Status
Changes

Changes between #37 and #38

#38 (Apr 21, 2024, 12:40:12 AM)

  1. create a new user — j.burel / githubweb
  2. Add version.properties to etc/omero.properties — snoopycrimecop / githubweb