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