58ab5154e606686378d9fc176afebd4282ee855d - sourceediting/webtools.sourceediting - Git at Google

commit: 58ab5154e606686378d9fc176afebd4282ee855d
[log]
author: csalter <csalter>
Wed Jul 13 04:57:09 2005 +0000
committer: csalter <csalter>
Wed Jul 13 04:57:09 2005 +0000
tree: 30195ce9745c827f3d1b7def308c40b2dcd08103
parent: 2a4c832527d48f1c92512b8904d46084fb0841af [diff]

[96155] return workspace mapped URI's of form "file:///D:/etc" and not "file:D:/etc" (workaround for bug 103607)

bundles/org.eclipse.wst.xml.core/src-catalog/org/eclipse/wst/xml/core/internal/catalog/Catalog.java[diff]

1 file changed

tree: 30195ce9745c827f3d1b7def308c40b2dcd08103