diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-17 21:14:31 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-10-17 21:14:31 +0100 |
commit | 6b9bd7bdd2712a7e85d6bfc70c231dbe36c2e585 (patch) | |
tree | 890a88741ef83c5ca0a57006c1972d0870fd86a4 /crates/ra_arena | |
parent | 65ab81e35868c09ac9c93cf1d53a607f5caede53 (diff) | |
parent | 5376c769f0cb6076c4862e728af042bb563a5051 (diff) |
Merge #2032
2032: rename tools -> xtask r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_arena')
0 files changed, 0 insertions, 0 deletions