From b0df2ddcb01f96e9f8228554d417167891a392de Mon Sep 17 00:00:00 2001 From: Fabrice Ducos Date: Sun, 23 Apr 2023 13:44:20 +0200 Subject: [PATCH] build.xml: default task is now "jar-jse" instead of "all" --- build.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.xml b/build.xml index d60b6535..4fa4b6bc 100644 --- a/build.xml +++ b/build.xml @@ -1,4 +1,4 @@ - +