diff doc/INSTALL_DE @ 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 654aaa0d7576
children
line wrap: on
line diff

http://dive4elements.wald.intevation.org