diff options
| author | Laurențiu Nicola <[email protected]> | 2020-01-31 18:55:10 +0000 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-01-31 18:55:10 +0000 |
| commit | d4d72e8b9b3cc8b9ce72444a11e16cfa606a7f59 (patch) | |
| tree | a7638589e1231f5dc3b3ff402b42ecaebe484150 /editors/code/.gitignore | |
| parent | dc713ea21b2d5a4f02735a7f6aca21c1054e4ca6 (diff) | |
Improve responsiveness of the cargo check status label
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions