diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-11 10:18:33 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-11 10:18:33 +0100 |
commit | 9b155c89764b8413df6b32edfde94fce1d9c15ec (patch) | |
tree | c044687f5ef2cd992bcf0e6611ce6a750cbb437a /crates/ra_syntax/src/yellow/builder.rs | |
parent | 7e55aaeeed318a13b429d4b23c68569033bae0a3 (diff) | |
parent | edd162bda8be065d3e0fc0a70052ce32eeb82553 (diff) |
Merge #118
118: Remove error publishing through publishDecorations r=matklad a=aochagavia
The errors are already reported by `publishDiagnostics`
Closes #109
Co-authored-by: Adolfo OchagavĂa <[email protected]>
Diffstat (limited to 'crates/ra_syntax/src/yellow/builder.rs')
0 files changed, 0 insertions, 0 deletions