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 | c85e662004d6f2881dde92991d3a2352e612e8e3 (patch) | |
| tree | e30a74f3f36924a2a68c06ea70437a0d26ca549e /local.mk | |
| parent | 89771a882157c22ff90ab6b1f9e93ed464aa3177 (diff) | |
man page (nix-shell): Fix grouping of -p option
Not sure about the raw ellipsis.
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions