Eelco Dolstra 6aeb59bbe0 Rename fetchGitHub -> fetchFromGitHub ... We're not fetching all of GitHub, after all.		2014-05-08 15:49:39 +02:00
..
default.nix	Rename fetchGitHub -> fetchFromGitHub	2014-05-08 15:49:39 +02:00