Google Git
Sign in
eclipse/ocl/org.eclipse.ocl/refs/heads/ewillink/master/./plugins/org.eclipse.ocl.common.ui/src/org/eclipse/ocl/common/ui
tree: 5df75b6d30dbbf4c6bb67c6beed9ad3b2a2f1d08
  1. internal/
  2. CommonUIConstants.java
  3. OCLCommonUI.java