#Generated by Git-Commit-Id-Plugin
git.branch=main
git.build.time=2026-04-15T22\:00\:34+0000
git.build.version=2.4.0
git.commit.id.abbrev=c5fbc9d
git.commit.id.full=c5fbc9d6467567948dd31805a1b1c3ca508cf584
git.commit.message.short=correct demo.mapserver.org WMS endpoint
git.dirty=false
git.total.commit.count=5339