comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 6511:0b62a9d44c21

add infrastructure for creating locked objects
author Lukas Stadler <lukas.stadler@jku.at>
date Fri, 05 Oct 2012 09:12:55 +0200
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
6510:fbcbb6ba16cd 6511:0b62a9d44c21