diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-05-25 09:51:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-25 09:51:39 +0200 |
commit | 19396f2a8ab5f641daa08b8b7fd51f875674536a (patch) | |
tree | 69a039b54a6eec484922ac27256dc17e4c68da1d /src/libstore/build/drv-output-substitution-goal.cc | |
parent | af4ff644d5413b603f1ac512e21536a9e903bc34 (diff) | |
parent | 9e9a8456d7d111e76ad6010d58b11389611ffb17 (diff) |
Merge pull request #4846 from michaeladler/fix-doc
fix doc: nix profile info -> nix profile list
Diffstat (limited to 'src/libstore/build/drv-output-substitution-goal.cc')
0 files changed, 0 insertions, 0 deletions