Joachim Fasting ba0f9cfa49 Revert "Merge pull request #16980 from phanimahesh/sf-use-mirrors" ... This reverts commit 217594fd1d, reversing changes made to 8e8a89d8a8. Turns out it wasn't ready afterall ...		2016-08-20 15:14:23 +02:00
..
default.nix	Revert "Merge pull request #16980 from phanimahesh/sf-use-mirrors"	2016-08-20 15:14:23 +02:00