diff options
| author | Jeremy Kolb <[email protected]> | 2019-10-27 20:56:25 +0000 |
|---|---|---|
| committer | Jeremy Kolb <[email protected]> | 2019-10-27 20:56:25 +0000 |
| commit | 1438f38eb63e5a79350fa6c877d9960ab90e183d (patch) | |
| tree | 68ad8a4f944b82c2e17811f41948dc3cd5b345fd /.github | |
| parent | 46b63c462d66925b59c0af7dec2eb3c48bc7be25 (diff) | |
Preserve whitespace at the end of doc comments
Whitespace can have special meaning in markdown. For instance
ending a line with three spaces will render a new line.
Note that this behavior diverges from RLS.
Fixes #1997
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions