diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-11-29T13·00+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-11-29T13·00+0000 |
commit | b1eb8f4249dbf666afa046c45e903566e9eb2df9 (patch) | |
tree | f97dcafd7067a2d3accc2aa09422f9615e1c375d /scripts/Makefile.am | |
parent | 216440b3ff1431beca7784c7ae76cb5e75446953 (diff) |
* Get rid of some superfluous error messages if a substituter fails.
* Say "fetch" instead of "substitute".
Diffstat (limited to 'scripts/Makefile.am')
0 files changed, 0 insertions, 0 deletions