diff options
author | Stephan Herrmann | 2014-10-03 21:34:27 +0000 |
---|---|---|
committer | Stephan Herrmann | 2014-10-03 21:34:27 +0000 |
commit | ad42f93216be300154c3249a6772e40b9f58d9b8 (patch) | |
tree | 46eedc20bb45b2f0a070477235aec58fc81c11b4 /releng/map/otdt.map.in | |
parent | d0936d4381587d0feb31bf4d87682a4776ef6df8 (diff) | |
download | org.eclipse.objectteams-ad42f93216be300154c3249a6772e40b9f58d9b8.tar.gz org.eclipse.objectteams-ad42f93216be300154c3249a6772e40b9f58d9b8.tar.xz org.eclipse.objectteams-ad42f93216be300154c3249a6772e40b9f58d9b8.zip |
Releng: unlock plugin having a change
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 9b3732fd4..72c9ecbef 100644 --- a/releng/map/otdt.map.in +++ b/releng/map/otdt.map.in @@ -38,7 +38,7 @@ plugin@org.eclipse.objectteams.otdt.ui.help=GIT,repo=git://git.eclipse.org/gitro plugin@org.eclipse.objectteams.otdt.apt=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.apt,tag=builds/201406101339
plugin@org.eclipse.objectteams.otdt.compiler.adaptor=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.compiler.adaptor,tag=builds/201406101339
plugin@org.eclipse.objectteams.otdt.debug.adaptor=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug.adaptor,tag=builds/201406101339
-plugin@org.eclipse.objectteams.otdt.refactoring=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.refactoring,tag=builds/201406101339
+plugin@org.eclipse.objectteams.otdt.refactoring=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.refactoring
plugin@org.eclipse.objectteams.otdt.pde.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.pde.ui,tag=builds/201406101339
plugin@org.eclipse.objectteams.otdt.samples=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.samples,tag=builds/201406101339
|