Files
Michael Peter Christen dd0225bdde We migrate to JDK 17
This  is a hard requirement to be able to migrate
to a more recent jetty version, which may happen sometime soon.
2026-07-10 22:47:39 +02:00

14 lines
318 B
Properties

# Java release used for source compatibility, API compatibility and bytecode
javacRelease=17
# Release Configuration
releaseVersion=1.941
releaseFileParentDir=yacy
privateKeyFile=private.key
# defining some file/directory access rights
accessRightsDir=755
accessRightsExecutable=755
accessRightsFile=644