Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / 3e1525c89bf62d389972a679c847e3d894ce7050 / . / plugins / org.eclipse.ocl.pivot.ui / src / org / eclipse / ocl / pivot / ui
tree: 628a85d6af30994f6729331d3529544ff0593f9a [path history] [tgz]
  1. internal/
  2. messages/
  3. OCLUI.java