comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4294:600cbdce9805

force ALT_BOOTDIR to the proper jdk to avoid installing non-product builds into the product build
author Gilles Duboscq <gilles.m.duboscq@gmail.com>
date Wed, 18 Jan 2012 18:21:52 +0100
parents ffd5ce8fc736
children 04ebcabcba4f
comparison
equal deleted inserted replaced
4293:d4906ea4255b 4294:600cbdce9805