Mercurial > dive4elements > river
diff docker/Dockerfile.mapserv @ 9779:3847836c60b5 3.2.x
Improve backend build for different database backends
Use profiles instead of multiple almost identical POMs.
Introduce build-time argument for Docker build.
author | Tom Gottfried <tom@intevation.de> |
---|---|
date | Tue, 07 Feb 2023 16:11:43 +0100 |
parents | 0834c2591e14 |
children |