GH-822 check if non-empty maven.config makes a difference for Jenkins…

… [WIP]
eclipse-rdf4j · Mar 12, 2019 · 0cfc1d3 · 0cfc1d3
1 parent 51755ba
commit 0cfc1d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.mvn/maven.config b/.mvn/maven.config
@@ -0,0 +1 @@
+-V