diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2019-07-06 14:55:04 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2019-07-06 14:56:28 +0200 |
commit | 4b61d5e13773bf8bf25537f28d1a42f7c6473b75 (patch) | |
tree | ac753da3046611133911d1838b52ee3ab3141cde /pullimap.sample | |
parent | 955cda2cfa32ca6e475b6726df4732f5dc98a30f (diff) |
doc/*: Fix minor space damage.
Also, set tab size to 4 spaces in the HTML for consistency.
Diffstat (limited to 'pullimap.sample')
0 files changed, 0 insertions, 0 deletions