diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-04 13:52:47 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-04 13:52:47 +0000 |
commit | 821fa7a50ab8c4886adc60a2093aa8e06cc3a9d6 (patch) | |
tree | 6b23591e5a58341ff7696d8e3f90ecdf4c30ca2c /crates/ra_syntax/src/lib.rs | |
parent | 6295bbe6ec9741538307cd619ada1c9566f99a5d (diff) | |
parent | a0ef196d0404cf89367928f347dd515ba31d081b (diff) |
Merge #424
424: remove non-doc comments from doc comments r=matklad a=csmoe
Closes #357
Co-authored-by: csmoe <[email protected]>
Diffstat (limited to 'crates/ra_syntax/src/lib.rs')
0 files changed, 0 insertions, 0 deletions