Sign in
eclipse
/
objectteams
/
org.eclipse.objectteams
/
83f53efb6a19c6ae06e65da8eefadc32ad79c839
commit
83f53efb6a19c6ae06e65da8eefadc32ad79c839
[
log
]
author
Stephan Herrmann <stephan@cs.tu-berlin.de>
Fri May 07 09:11:36 2010 +0000
committer
Stephan Herrmann <stephan@cs.tu-berlin.de>
Fri May 07 09:11:36 2010 +0000
tree
eebfe3b4dd5ec4760e0fc48d606951cfcca3a97d
parent
91903272512a7407bf221ff7736f31dc04d6139d
[
diff
]
Fix one hidden occurrence of org.objectteams prefix, with '_' separator!
plugins/org.eclipse.objectteams.otdt.ui.help/guide/toc.xml
[
diff
]
1 file changed
tree: eebfe3b4dd5ec4760e0fc48d606951cfcca3a97d
features/
org.eclipse.jdt.core/
org.eclipse.jdt.core.tests.compiler/
org.eclipse.jdt.core.tests.model/
othersrc/
plugins/
releng/
testplugins/