diff options
| author | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T19·52+0200 |
|---|---|---|
| committer | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T20·11+0200 |
| commit | 89771a882157c22ff90ab6b1f9e93ed464aa3177 (patch) | |
| tree | 96e262a82e6d0a2e005fec8dae4ce4393ad6c26a /doc/manual/command-ref/nix-shell.xml | |
| parent | 772ef22c25f6dac969ce7f13586a08d1191f4a44 (diff) | |
man page (nix-prefetch-url): Add some missing options
Diffstat (limited to 'doc/manual/command-ref/nix-shell.xml')
0 files changed, 0 insertions, 0 deletions