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_batch/src | |
| 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_batch/src')
0 files changed, 0 insertions, 0 deletions