mozilla-prefer_plugin_pref.patch
changeset 172 78d410fd888a
parent 123 1d88ea95ad20
child 289 3c0dff7ca9c4