| !*************** 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 | |
| !*************** |