diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-10-20 19:15:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-20 19:15:32 +0200 |
| commit | 21244e1062f92c9eb603f9dd5ed8210f159738e9 (patch) | |
| tree | 4708237b7a6b38c0df92a08f7fd4885462856ab8 /doc/manual/command-ref/conf-file.xml | |
| parent | e0ca98c2071b815578470e280df8fdb750c7e23b (diff) | |
| parent | f6aaac2b5983bd87cd6e2f648c9dd835c6d9373c (diff) | |
Merge pull request #4168 from mkenigs/fix-3975
Make bash non-interactive for nix develop --phase
Diffstat (limited to 'doc/manual/command-ref/conf-file.xml')
0 files changed, 0 insertions, 0 deletions