!*************** wst-web-thirdparty.map ! Note: this directory, html/thirdparty was deleted (a while back) so ! if we literally have to re-build 155, we will have to re-create this ! plugin from a one of our distributions. (Which, should be easy, since ! resources only). !plugin@org.eclipse.wst.html.standard.dtds=v200608220315,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/thirdparty/org.eclipse.wst.html.standard.dtds !***************