mozilla-prefer_plugin_pref.patch
changeset 132 ad1558dcaf5e
parent 123 1d88ea95ad20
child 289 3c0dff7ca9c4