diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-10-30 10:05:43 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-10-30 10:22:58 +0100 |
| commit | f25791c196e7bcf76aa76e143a679fe731f77513 (patch) | |
| tree | 2f8ea9e69a90ec22ffa1aba4c2cf5d6d6440c350 /src/libexpr/names.cc | |
| parent | 65b5f177b5fbb1b0778ede047a13a3cee9c59cfe (diff) | |
builtins.fetchgit: Don't mess up the progress indicator
Diffstat (limited to 'src/libexpr/names.cc')
0 files changed, 0 insertions, 0 deletions