diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 13948:69928d77bc0a

mx jmh: avoid mx crash if JMH_BENCHMARKS is not defined at all and skip suites that do not contain the correct jar
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 13 Feb 2014 15:39:18 +0100
parents 3417a9177425
children
line wrap: on
line diff