diff options
Diffstat (limited to 'releng/maps/wst-web-thirdparty.map')
| -rw-r--r-- | releng/maps/wst-web-thirdparty.map | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/releng/maps/wst-web-thirdparty.map b/releng/maps/wst-web-thirdparty.map deleted file mode 100644 index 862c04851..000000000 --- a/releng/maps/wst-web-thirdparty.map +++ /dev/null @@ -1,10 +0,0 @@ -!*************** 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 - -!***************
\ No newline at end of file |