diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-26 08:20:53 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-26 08:20:53 +0000 |
commit | ac757e114e9dcbc70600803dd4adc4f99ecde78e (patch) | |
tree | 7aae7fff41fcc67523f1f0b7a0fc06a174d00394 /crates/tools/src | |
parent | 2f270a51d266f30c03549ce85876c164e0203cd1 (diff) | |
parent | 4711cbcace33e34d43f880d30c2778c843240f27 (diff) |
Merge #664
664: rename FilesDatabase -> SourceDatabase r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/tools/src')
0 files changed, 0 insertions, 0 deletions