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
..
binary.nix	Revert "Merge pull request #16980 from phanimahesh/sf-use-mirrors"	2016-08-20 15:14:23 +02:00
builder.sh	mozart: fix tcl/tk issues and clean up	2015-10-03 17:26:10 -04:00