From 010f38bacdca6bc76d0a0885bb3b3731c15a804e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fr=C3=A9d=C3=A9ric=20Perrin?= Date: Thu, 30 Jan 2020 14:13:16 +0000 Subject: [PATCH] Add necessary resources to pom.xml --- buildtools/pom.xml => pom.xml | 6 ++++++ 1 file changed, 6 insertions(+) rename buildtools/pom.xml => pom.xml (94%) diff --git a/buildtools/pom.xml b/pom.xml similarity index 94% rename from buildtools/pom.xml rename to pom.xml index 82b29ac..f3a608c 100644 --- a/buildtools/pom.xml +++ b/pom.xml @@ -57,6 +57,7 @@ tim/prune/gui/images/* tim/prune/lang/* tim/prune/function/srtm/srtmtiles.dat + tim/prune/function/srtm/viewfinder/tiles.dat tim/prune/*.txt @@ -78,6 +79,11 @@ maven-compiler-plugin 3.8.0 + + + -Xlint:deprecation + + maven-jar-plugin -- 2.43.0