From 20c5f7ee530b6e0932c9aff60b3a4b6bc3946e01 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Tue, 17 Jun 2025 09:55:25 +0200 Subject: [PATCH] Docker ping --- ci/java-tools.properties | 1 - 1 file changed, 1 deletion(-) diff --git a/ci/java-tools.properties b/ci/java-tools.properties index 21a5957..d7e0ac7 100644 --- a/ci/java-tools.properties +++ b/ci/java-tools.properties @@ -1,5 +1,4 @@ # Tool requirements # Version listed last will be used as default jdks=8.0.382,24.0.1,17.0.15 - maven=3.9.9