diff options
| author | Robert Vollmert <rob@vllmrt.net> | 2017-07-10T12·36+0200 |
|---|---|---|
| committer | Robert Vollmert <rob@vllmrt.net> | 2017-07-10T12·36+0200 |
| commit | 30117fb35bde6ba27d7de5037272ea23c8dcebf9 (patch) | |
| tree | 7f82f53190890b1ebc07b5c33ca28649b5004a5e /doc/manual/manual.xml | |
| parent | c85e662004d6f2881dde92991d3a2352e612e8e3 (diff) | |
fix buggy nix-shell man page
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions