Google Git
Sign in
eclipse/ocl/org.eclipse.ocl/archive/419462/./plugins/org.eclipse.ocl.uml.ui/src/org/eclipse/ocl/uml/ui/internal
tree: c002ebb6f21b6d68f7ba9e9b8108f5e28934496c
  1. messages/
  2. preferences/