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