Google Git
Sign in
eclipse / gerrit / osbp / org.eclipse.osbp.vaaclipse / 0d61e004d73945eb6a3413723314f0715a341400 / . / org.eclipse.osbp.vaaclipse.publicapi / src / org / eclipse / osbp / vaaclipse / publicapi / preferences
tree: 4ea1d12e5182ab9ce3198538cdcdfc21a9f072b4 [path history] [tgz]
  1. IPreferenceProvider.java