diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-27 21:00:16 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-10-27 21:00:16 +0000 |
| commit | bbd0fbd98dee98d54b1cfd43afb2f02f41349a18 (patch) | |
| tree | 68ad8a4f944b82c2e17811f41948dc3cd5b345fd /crates/ra_hir/src/ty/infer.rs | |
| parent | 46b63c462d66925b59c0af7dec2eb3c48bc7be25 (diff) | |
| parent | 1438f38eb63e5a79350fa6c877d9960ab90e183d (diff) | |
Merge #2101
2101: Preserve whitespace at the end of doc comments r=matklad a=kjeremy
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
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ty/infer.rs')
0 files changed, 0 insertions, 0 deletions