#Generated by Git-Commit-Id-Plugin
#Mon May 18 10:41:18 CEST 2026
git.build.time=2026-05-18T10\:41\:18+0200
git.build.version=1.0.1
git.commit.id.abbrev=6be43c6
git.commit.id.full=6be43c6b9ad05a00d22ccee8222a3b1ebfa572f0
