Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 0ec0a86854c0cc5eef907e7f1b09375af6eb84de / . / plugins / org.eclipse.objectteams.otdt.ui / src / org / eclipse / objectteams / otdt / internal / ui / javaeditor
tree: 142ab16f94fbc3836f46344266780b1d8f23b899 [path history] [tgz]
  1. OTJavaEditorMessages.java
  2. OTJavaEditorMessages.properties
  3. RoleOverrideIndicatorManager.java