#Generated by Git-Commit-Id-Plugin
#Thu May 14 15:35:49 CEST 2026
git.build.time=2026-05-14T15\:35\:49+0200
git.build.version=1.0.0
git.commit.id.abbrev=e7c1f04
git.commit.id.full=e7c1f043537e5ed0bd576cee0b67a5f29a0c48ac
