Vladimír Čunát d73c8ed79d Revert "Merge pull request #555 from errge/master"
This reverts commit 8f7cfc0c7370e2b46a7692cc953ff7a43411d5d6, reversing
changes made to cc85ad4b1c365533049ec4af7adee0fe7c83c7b8.

The merge changed stdenv (a bit surprisingly, see #555 for details).
2013-05-27 18:29:53 +02:00
..
2013-05-25 12:01:26 +03:00
2013-05-27 11:28:00 +02:00
2013-05-21 09:27:35 +02:00