# HG changeset patch # User Raimund Renkert # Date 1376572841 -7200 # Node ID a529909cffeb1d377050cff935e01096cc54ea40 # Parent 93b12b077edf0e28bb67f66219a14ffb72264d3a# Parent 422e9ea0276f5dce84f2f6793ed3d83cc5776714 merged. diff -r 93b12b077edf -r a529909cffeb pom.xml --- a/pom.xml Thu Aug 15 15:19:47 2013 +0200 +++ b/pom.xml Thu Aug 15 15:20:41 2013 +0200 @@ -220,13 +220,6 @@ false - - - true - true - - - true