Mercurial > dive4elements > river
diff docker/Dockerfile.wiki @ 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 | 414647dc6936 |
children | a440ebd5c23b |