plugins/org.eclipse.ocl.common/src/org/eclipse/ocl/common/preferences - ocl/org.eclipse.ocl - Git at Google

eclipse / ocl / org.eclipse.ocl / ed1513236f5be7efe73cad1745f211fe1daea30b / . / plugins / org.eclipse.ocl.common / src / org / eclipse / ocl / common / preferences

tree: 51eaeb14c87c1b3b9d5e0315ef689bf24ed6f160 [path history] [tgz]

PreferenceableOption.java

Powered by Gitiles| Privacy| Termstxt json