From b1e39144613c5d39b36bd8591efd1286bdd152f2 Mon Sep 17 00:00:00 2001 From: Robert Muir Date: Thu, 16 Jul 2015 22:49:30 -0400 Subject: [PATCH] move tophints configuration to the correct place --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index ccd7a1ad1af..d2f0328e1df 100644 --- a/pom.xml +++ b/pom.xml @@ -582,7 +582,6 @@ true ${tests.jvms} ${tests.ifNoTests} - @@ -681,6 +680,7 @@ +