diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 5286:dcb4695e3bb0

ReadHubNode result is non-null
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 24 Apr 2012 17:16:43 +0200
parents 04ebcabcba4f
children 44d92b447951
line wrap: on
line diff