Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / refs/heads/archive/373968 / . / plugins / org.eclipse.ocl.ui / src / org / eclipse / ocl / ui / internal
tree: 8b324955cdaa134af3cccab136984d14e2b96be9 [path history] [tgz]
  1. messages/
  2. preferences/