Google Git
Sign in
eclipse/ocl/org.eclipse.ocl/master/./plugins/org.eclipse.ocl.ui/src/org/eclipse/ocl/ui/internal
tree: 20a64f5876ed5c616f6ff740eba166de8aff2d01
  1. messages/
  2. preferences/