diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-24 12:56:19 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-24 12:56:19 +0200 |
| commit | 758c9ee1bb0e9d4bea420420af93e0128fabf188 (patch) | |
| tree | 006550d0c3eab47099c17602cb6a03b476195417 /doc/manual/src/command-ref/opt-inst-syn.md | |
| parent | 8d0b311a1ccd0aef49c6f272aad4ecb5105b285a (diff) | |
Clean up the manpages
Diffstat (limited to 'doc/manual/src/command-ref/opt-inst-syn.md')
0 files changed, 0 insertions, 0 deletions