diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-27 08:21:04 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-27 08:21:04 +0000 |
commit | ffcf61884245ca515f08f8685dc324b9db727e53 (patch) | |
tree | 99fe4420fe14a036323efe553e609268929df599 /crates/ra_vfs/src/io/watcher.rs | |
parent | 2577a65684a61fe8ef9159809ca5352c9ac2e61d (diff) | |
parent | a89206795140209b816eb8e91fa3f1e1d6509269 (diff) |
Merge #662
662: Preserve indentation in doc comments r=matklad a=kjeremy
Fixes #502
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_vfs/src/io/watcher.rs')
0 files changed, 0 insertions, 0 deletions