From 8df7dd717c77f9d27145b52da971393d0d796efb Mon Sep 17 00:00:00 2001 From: Fabrice Ducos Date: Sun, 23 Apr 2023 12:27:47 +0200 Subject: [PATCH] build-coverage.xml: javac target="1.5" -> target="1.8" --- build-coverage.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-coverage.xml b/build-coverage.xml index 8a491f8c..be7c1845 100644 --- a/build-coverage.xml +++ b/build-coverage.xml @@ -46,7 +46,7 @@ - +