From 5d26c780566616da24db70e26e2baaec5010d405 Mon Sep 17 00:00:00 2001 From: Vincent Privat Date: Mon, 18 Dec 2017 22:45:05 +0100 Subject: [PATCH] fix https://josm.openstreetmap.de/ticket/15677 - areaselector indirectly requires ejml --- build.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.xml b/build.xml index 79bd21a..e5865a3 100644 --- a/build.xml +++ b/build.xml @@ -15,7 +15,7 @@ - +