Shea Levy a8603605aa fetchgit: give output a nicer name ... Instead of git-export, we get the basename of the repo, plus the shortrev if the commit-ish is a rev.		2015-01-01 10:03:45 -05:00
..
builder.sh
default.nix	fetchgit: give output a nicer name	2015-01-01 10:03:45 -05:00
nix-prefetch-git
private.nix