diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-01-17T10·53+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-01-17T10·53+0100 |
| commit | d8b4cfad823524338f87a681b8790b8dbd3a7a1b (patch) | |
| tree | d56e457f663c01e3f941268c2a26c9c5847afbca /doc/manual/command-ref/opt-inst-syn.xml | |
| parent | 6ddfe9a999027f9867bbf61ae92c19c591c89a86 (diff) | |
Typo
Diffstat (limited to 'doc/manual/command-ref/opt-inst-syn.xml')
0 files changed, 0 insertions, 0 deletions