commit | 059d2ee0b3a6c9855f582f5862bfe4562da842ef | [log] [tgz] |
---|---|---|
author | Ralf Sternberg <rsternberg@eclipsesource.com> | Tue Mar 20 16:18:42 2012 +0000 |
committer | Ralf Sternberg <rsternberg@eclipsesource.com> | Tue Mar 20 16:18:42 2012 +0000 |
tree | 06ead961f5ae591247bc526a75fe370cda78eae8 | |
parent | 2c38c882eab887c87604c3abf043226a8c017a99 [diff] |
Fixed bug 374782: Setting favicon from branding extension point has no effect https://bugs.eclipse.org/bugs/show_bug.cgi?id=374782