Google Git
Sign in
eclipse / objectteams / org.eclipse.objectteams / e08887e9534d7bf2ff5e524f86954f4e1cb43d61 / . / plugins / org.eclipse.objectteams.otdt.ui / src / org / eclipse / objectteams / otdt / internal / ui / javaeditor
tree: 0679914ac3d2195933f58f4ac4850fe027a266fe [path history] [tgz]
  1. OTJavaEditorMessages.java
  2. OTJavaEditorMessages.properties
  3. RoleOverrideIndicatorManager.java