diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-12-13T13·35+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-12-13T13·35+0000 |
commit | dca48aed349375b8515a32ac58dce48f48f7264e (patch) | |
tree | 703745be6699abce52ee499392cc684da96de8fe /externals | |
parent | 71926ee18803071e64754465faf3d57d6dc9bbda (diff) |
* Allow an optional hash to be provided. This prevents redundant
fetches.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions