Vladimír Čunát d73c8ed79d Revert "Merge pull request #555 from errge/master" ... This reverts commit 8f7cfc0c73, reversing changes made to cc85ad4b1c. The merge changed stdenv (a bit surprisingly, see #555 for details).		2013-05-27 18:29:53 +02:00
..
default.nix	Revert "Merge pull request #555 from errge/master"	2013-05-27 18:29:53 +02:00