diff options
author | sharkdp <davidpeter@web.de> | 2019-08-31 14:32:37 +0200 |
---|---|---|
committer | sharkdp <davidpeter@web.de> | 2019-08-31 14:32:37 +0200 |
commit | 4ba45e2ba24b84dceeed0da05b371c00638bd931 (patch) | |
tree | 2429d2cf344a681cd66c91f559a9f166c28513ac /doc | |
parent | 7076ae5cd9f147b75fc0dfe590e7b1d44f29c3c5 (diff) |
Add first version of 'man page' syntax, closes #523
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions