comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4483:58ecb156a3e8

Gate : run fastdebug configuration before product in order to get a better log if the gate fails
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 07 Feb 2012 19:41:28 +0100
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
4482:7903b6c28f9c 4483:58ecb156a3e8