Eelco Dolstra 0e77aa3982 fetchGit: Don't do a remote fetch if we already have the rev		2017-11-03 13:55:30 +01:00
..
fetchgit.cc	fetchGit: Don't do a remote fetch if we already have the rev	2017-11-03 13:55:30 +01:00
fetchgit.hh	builtins.fetchgit: Support importing a working tree	2017-10-30 19:59:25 +01:00
fetchMercurial.cc	fetchMercurial: fix error message	2017-11-02 23:37:42 +01:00