comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 14632:5f5e2711dc24

fix TruffleDSL tests
author Andreas Woess <andreas.woess@jku.at>
date Thu, 20 Mar 2014 03:14:12 +0100
parents 3417a9177425
children
comparison
equal deleted inserted replaced
14631:97321295c974 14632:5f5e2711dc24