comparison .settings/org.eclipse.jdt.ui.prefs @ 193:8f0cdfc63378

read deployment.connections on startup for global preferences also
author Carl Byington <carl@five-ten-sg.com>
date Wed, 02 Jul 2014 18:08:23 -0700
parents 0ce5cc452d02
children
comparison
equal deleted inserted replaced
192:f0b9ea35711a 193:8f0cdfc63378