diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-03-01 13:15:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-01 13:15:42 +0100 |
commit | 0cb5af5000517ffd0f81a25df5b3f4c05fac53f6 (patch) | |
tree | c690b81657a47b751bac91dabd31b812cfee1a8a /src/nix/repl.cc | |
parent | d974d2ad59d1cc8aee63e2a18124e58c1084ff65 (diff) | |
parent | b6deca7c0dcf6e5f0da1d186dc1a1288325e1d88 (diff) |
Merge pull request #6185 from hercules-ci/fetchTree-reuse-local-paths
fetchTree: Use isValidPath, add comment
Diffstat (limited to 'src/nix/repl.cc')
0 files changed, 0 insertions, 0 deletions