diff options
| author | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T18·37+0200 |
|---|---|---|
| committer | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T20·11+0200 |
| commit | 68c626c6b07e8676f7235c21efb94a0055f5cf3d (patch) | |
| tree | d7f17592173f5303516b41e2fe1d4a5d8c95e6ec /Makefile.config.in | |
| parent | ce3095e14165ab0079f2c24002ae4c810b1c728d (diff) | |
man pages: Grouping for option alternatives
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions