Vladimír Čunát f014217a55 spidermonkey-{17,24}: split the dev and lib outputs		2015-10-13 20:19:02 +02:00
..
default.nix	spidermonkey-{17,24}: split the dev and lib outputs	2015-10-13 20:19:02 +02:00