thuning @ pvt 8310f1ef49 Tweaks to jenkins docker ...

Adding more memory and making sure tomcat actually uses it

2025-04-14 11:39:03 +02:00

..

Dockerfile

Tweaks to jenkins docker

2025-04-14 11:39:03 +02:00

setenv.sh

Tweaks to jenkins docker

2025-04-14 11:39:03 +02:00

tomcat-users.xml

Initial commit

2022-02-09 16:52:58 +01:00