Joachim Fasting ba0f9cfa49 Revert "Merge pull request #16980 from phanimahesh/sf-use-mirrors" ... This reverts commit 217594fd1d0b4cc36c98c1605b73ccb50ce57bc8, reversing changes made to 8e8a89d8a8f9d801f9e17d48325d06f20743b364. 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