Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 5e46032f8a90b222c119b03c8032f71bab1e2536 / . / plugins / org.eclipse.objectteams.otdt.ui / src / org / eclipse / objectteams / otdt / internal / ui / javaeditor
tree: 68cca0ee4f9b75c8708c57ad0a2fbf0b94adb984 [path history] [tgz]
  1. OTJavaEditorMessages.java
  2. OTJavaEditorMessages.properties
  3. RoleOverrideIndicatorManager.java