comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 7051:aee0e8fa8174

Make frame omission optional
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 27 Nov 2012 18:25:02 +0100
parents dfcb73ac6ba2
children 427e797ab18e
comparison
equal deleted inserted replaced
7050:6cbaae52bab9 7051:aee0e8fa8174