Google Git
Sign in
eclipse/ocl/org.eclipse.ocl/refs/heads/baseline/./plugins/org.eclipse.ocl.uml.ui/src/org/eclipse/ocl/uml/ui/internal
tree: 08055848e7e6f795ca9e3e079d2c8ad269b50377
  1. messages/
  2. preferences/