diff options
| author | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T19·14+0200 |
|---|---|---|
| committer | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T20·11+0200 |
| commit | 56a1f8f4998cb6aa4ff2c8b61ca36634af4b3759 (patch) | |
| tree | 482ab7e8ce9e8d523f8da574a1afb3dcdfc8fcdc /doc/manual/manual.xml | |
| parent | d1643bdaa2f66760b5dce3e42953b433e7eb49bc (diff) | |
man pages: Consistently separate alternatives by /
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions