Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / refs/heads/archive/435807 / . / plugins / org.eclipse.ocl.common / src / org / eclipse / ocl / common / preferences
tree: 2c069b879cae42c7eeb1d9a1d2a1ffbd1b32c7ed [path history] [tgz]
  1. PreferenceableOption.java