Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephan Herrmann2016-05-28 20:53:02 +0000
committerStephan Herrmann2016-05-28 20:53:02 +0000
commit88be4aac276c238d3bbef8107df3663d088ba917 (patch)
treec882b2db8fd2c96fa3329612c116ff046c414668 /releng/map/otdt.map.in
parent691fb27ca62289fbd86a3bcf5c3c3c5965d2c2fd (diff)
downloadorg.eclipse.objectteams-88be4aac276c238d3bbef8107df3663d088ba917.tar.gz
org.eclipse.objectteams-88be4aac276c238d3bbef8107df3663d088ba917.tar.xz
org.eclipse.objectteams-88be4aac276c238d3bbef8107df3663d088ba917.zip
Bug 494834: [help] update user guide for 2.5
+ N&N + updates re weavingScheme
Diffstat (limited to 'releng/map/otdt.map.in')
-rw-r--r--releng/map/otdt.map.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/map/otdt.map.in b/releng/map/otdt.map.in
index 0ae88de08..5ffb15928 100644
--- a/releng/map/otdt.map.in
+++ b/releng/map/otdt.map.in
@@ -16,7 +16,7 @@ plugin@org.eclipse.objectteams.otdt=GIT,repo=git://git.eclipse.org/gitroot/objec
plugin@org.eclipse.objectteams.otdt.debug=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug,tag=builds/201406101339
plugin@org.eclipse.objectteams.otdt.debug.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug.ui,tag=builds/201506091717
plugin@org.eclipse.objectteams.otdt.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.ui
-plugin@org.eclipse.objectteams.otdt.doc=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.doc,tag=builds/201506091717
+plugin@org.eclipse.objectteams.otdt.doc=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.doc
!plugin@org.eclipse.objectteams.otdt.metrics=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.metrics,tag=builds/201101290806
plugin@org.eclipse.objectteams.runtime=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.runtime

Back to the top