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
line wrap: on
line diff

http://dive4elements.wald.intevation.org