diff options
author | Stephan Herrmann | 2016-05-28 20:53:02 +0000 |
---|---|---|
committer | Stephan Herrmann | 2016-05-28 20:53:02 +0000 |
commit | 88be4aac276c238d3bbef8107df3663d088ba917 (patch) | |
tree | c882b2db8fd2c96fa3329612c116ff046c414668 /releng/map/otdt.map.in | |
parent | 691fb27ca62289fbd86a3bcf5c3c3c5965d2c2fd (diff) | |
download | org.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.in | 2 |
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
|