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/release-notes/rl-0.12.xml | |
parent | c85e662004d6f2881dde92991d3a2352e612e8e3 (diff) |
fix buggy nix-shell man page
Diffstat (limited to 'doc/manual/release-notes/rl-0.12.xml')
0 files changed, 0 insertions, 0 deletions