Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / refs/tags/6.10.1 / . / plugins / org.eclipse.ocl.common / src / org / eclipse / ocl / common / preferences
tree: 3fde39e3341a2466ce143ed70551c0ab4b5eeea4 [path history] [tgz]
  1. PreferenceableOption.java