Georges Dubus c64b294970 fetchFromGitHub: add option for custom name ... This is necessary when the rev name contains a "/"		2015-01-14 17:38:47 +01:00
..
default.nix	fetchFromGitHub: add option for custom name	2015-01-14 17:38:47 +01:00