#Generated by Git-Commit-Id-Plugin
#Thu Oct 16 10:11:11 CEST 2025
git.build.time=2025-10-16T10\:11\:11+0200
git.build.version=1.6.2
git.commit.id.abbrev=ec10a69
git.commit.id.full=ec10a696276f2cc73e02301eb41dcc8381e24cfc
