![[Jenkins]](/jenkins/static/cf0a1f3c/images/svgs/logo.svg){kind=logo}
Summary
- Switch devhelp and yelp to webkit (commit: 263aaf1) (details)
| The file was modified | components/devhelp/devhelp.p5m (diff) |
| The file was modified | components/devhelp/patches/devhelp-01-menu-entry.patch (diff) |
| The file was removed | components/yelp/patches/yelp-05-trusted-extensions.patch |
| The file was modified | components/yelp/Makefile (diff) |
| The file was removed | components/devhelp/patches/devhelp-02-gecko20.patch |
| The file was removed | components/yelp/patches/yelp-03-using-firefox4-gecko.patch |
| The file was modified | components/devhelp/Makefile (diff) |
| The file was added | components/devhelp/patches/disable_single_includes.patch |