Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authordavid_williams2008-03-25 03:47:56 +0000
committerdavid_williams2008-03-25 03:47:56 +0000
commit7959ce2278ebfd61cc7570323a591962678cf7bf (patch)
tree90a88fafa532fa8d656ab9b34a7a22c0a6d861d8 /releng.servertools/maps/servertools-docs.map
parent2efc1e84ccf69db20ab0e1de470a186329eeca95 (diff)
downloadwebtools.maps-7959ce2278ebfd61cc7570323a591962678cf7bf.tar.gz
webtools.maps-7959ce2278ebfd61cc7570323a591962678cf7bf.tar.xz
webtools.maps-7959ce2278ebfd61cc7570323a591962678cf7bf.zip
fixes for validation and facets version changes
Diffstat (limited to 'releng.servertools/maps/servertools-docs.map')
-rw-r--r--releng.servertools/maps/servertools-docs.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/servertools-docs.map b/releng.servertools/maps/servertools-docs.map
index 43c5a6cad..a6709f943 100644
--- a/releng.servertools/maps/servertools-docs.map
+++ b/releng.servertools/maps/servertools-docs.map
@@ -2,4 +2,4 @@
plugin@org.eclipse.wst.server.ui.doc.user=v200802061937,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user
plugin@org.eclipse.wst.server.ui.infopop=v200802061917,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.infopop
plugin@org.eclipse.jst.server.ui.doc.user=v200802061911,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user
-plugin@org.eclipse.jst.server.ui.infopop=v200801152313,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop
+plugin@org.eclipse.jst.server.ui.infopop=v200803250340,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop \ No newline at end of file

Back to the top