comparison 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
comparison
equal deleted inserted replaced
5285:0d1e7d2dcba9 5286:dcb4695e3bb0