#Generated by Git-Commit-Id-Plugin
git.branch=main
git.build.time=2024-12-29T23\:15\:39+0000
git.build.version=2.4.0
git.commit.id.abbrev=473ad15
git.commit.id.full=473ad15893cdaea40a11c30677a64c0a20c34d49
git.commit.message.short=add new coverage simplifier plugin from new JTS coverage code (\#142)
git.dirty=false
git.total.commit.count=5299