diff options
author | Emil Lauridsen <[email protected]> | 2020-01-15 15:33:58 +0000 |
---|---|---|
committer | Emil Lauridsen <[email protected]> | 2020-01-15 15:33:58 +0000 |
commit | 7a8c6351bf50c1dcfb111be9f91da3c1f9cf2ec3 (patch) | |
tree | 2bf69b6078dafa70a43d51ea5d6f19978eb847c0 /crates/ra_batch | |
parent | ade657cb668d843606f87601885927515e890954 (diff) |
Extract check task handling into function
Diffstat (limited to 'crates/ra_batch')
0 files changed, 0 insertions, 0 deletions