diff options
| author | Peter Eisentraut | 2020-06-07 12:54:28 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2020-06-07 12:54:28 +0000 |
| commit | a02b8bdd9878ae1d1ead87aabb673d60432500ea (patch) | |
| tree | 44cfb701c6e64a539aa5ade05c5d2b324b74673e /src | |
| parent | f4c88ce1a20e8e944d74cb964926781d6ca4cb18 (diff) | |
doc: Fix man page whitespace issues
Whitespace between tags is significant, and in some cases it creates
extra vertical space in man pages. The fix is either to remove some
newlines or in some cases to reword slightly to avoid the awkward
markup layout.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions