From d9b72aebeb0b8008629106701e74847d8fa143d1 Mon Sep 17 00:00:00 2001 From: Johannes Visintini Date: Fri, 30 Apr 2021 17:19:32 +0200 Subject: [PATCH] update to ohsome-parent 2.10 details see https://gitlab.gistools.geog.uni-heidelberg.de/giscience/big-data/ohsome/parent/-/blob/master/CHANGELOG.md#anchor-210 --- .idea/checkstyle-idea.xml | 4 ++-- CHANGELOG.md | 4 +++- Jenkinsfile | 32 ++++++++++++++++++++------------ pom.xml | 2 +- 4 files changed, 26 insertions(+), 16 deletions(-) diff --git a/.idea/checkstyle-idea.xml b/.idea/checkstyle-idea.xml index 7910e2863..eade54630 100644 --- a/.idea/checkstyle-idea.xml +++ b/.idea/checkstyle-idea.xml @@ -3,12 +3,12 @@