diff tomcat-17/Dockerfile @ 613:180e7e34b75b tip

correct properties
author Justin Kleinknecht <justin.kleinknecht@mcoecn.org>
date Tue, 08 Jul 2025 13:59:53 +0100
parents 15609ee0fe4e
children
line wrap: on
line diff