mozilla-prefer_plugin_pref.patch
changeset 223 4555a5d0d661
parent 123 1d88ea95ad20
child 289 3c0dff7ca9c4