diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-11-29 11:31:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-29 11:31:43 +0100 |
| commit | af8a32143b81332553984fae1a6773333304eecb (patch) | |
| tree | 20dedecb02512626e9c6c0ba35b0404b6e637c12 /src/libstore/derived-path.hh | |
| parent | 4dda67260a62d10da7815955087362fa1146139e (diff) | |
| parent | 9b35cc716b392dfb96a0e994349137f653b9c532 (diff) | |
Merge pull request #7358 from ncfavier/repl-exit-newline
repl: print a newline on ctrl-D
Diffstat (limited to 'src/libstore/derived-path.hh')
0 files changed, 0 insertions, 0 deletions