ajacoutot a2dca99320 Drop libproxy-mozilla; one JS interpreter (webkit) is enough and there is ...

no official support upstream for the newer spidermonkey.

discussed with and ok landry@ jasper@

2014-03-25 11:18:46 +00:00

..

DESCR-main

…

DESCR-webkit

…

PLIST-main

…

PLIST-webkit

…