diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-09-27 11:37:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-27 11:37:09 +0200 |
commit | ace9f261dad4fae55c1ec209c15d244165f5c07b (patch) | |
tree | 181f37ab4c213ec586cc16d0fc8887c12cb24793 /scripts | |
parent | dfc3a9afc38c55a9a74f9cbe9d37b8fa094fbe4d (diff) | |
parent | 19f3ecd830d092caccf43ab122b9a01ccb2ce98f (diff) |
Merge pull request #7103 from lheckemann/remove-add-root
nix-build: remove unused --add-root arg
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions