diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-07-30T09·33+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-30T09·33+0200 |
commit | 7680357ccc7e7759244528334df81ebb71f9123b (patch) | |
tree | 1a43e2906116d5ea3bcc0a39b5cd14673c191407 /doc/manual/local.mk | |
parent | 41a52466854ab3a7d4adedc3777c0b0585ef79fe (diff) | |
parent | 89865144c3ba0162cd37bcbe49b3095e9bab4164 (diff) |
Merge pull request #3012 from basvandijk/fix-pathExists
Allow builtins.pathExists to check the existence of /nix/store paths
Diffstat (limited to 'doc/manual/local.mk')
0 files changed, 0 insertions, 0 deletions