From e42269bdd7816bdc93e47bd66c7fcf07442c9c62 Mon Sep 17 00:00:00 2001 From: lmandel <lmandel> Date: Mon, 16 May 2005 21:10:24 +0000 Subject: [PATCH] Added JST user doc plugin. --- archive/org.eclipse.wtp.releng/maps/jst-doc.map | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/archive/org.eclipse.wtp.releng/maps/jst-doc.map b/archive/org.eclipse.wtp.releng/maps/jst-doc.map index 4bdd74cf6..0d558d846 100644 --- a/archive/org.eclipse.wtp.releng/maps/jst-doc.map +++ b/archive/org.eclipse.wtp.releng/maps/jst-doc.map @@ -1,5 +1,5 @@ !*************** jst-doc.map - +plugin@org.eclipse.jst.doc.user=v20050516_1710,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/doc/org.eclipse.jst.doc.user plugin@org.eclipse.jst.doc.isv=v20050331_2243,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/doc/org.eclipse.jst.doc.isv !*************** \ No newline at end of file -- GitLab