diff options
author | Edwin Cheng <[email protected]> | 2019-11-26 20:33:40 +0000 |
---|---|---|
committer | Edwin Cheng <[email protected]> | 2019-11-26 20:34:06 +0000 |
commit | 27943bead6798cd202d7398f38cecfd3f5840645 (patch) | |
tree | 6e1378c5225401c0ae04f39e869b28a0ee417fdb /editors/code/src/utils/diagnostics | |
parent | 97f6f141ee06ddfb22f8c02223fa71102b670528 (diff) |
Remove progress bar and add a true counter
Diffstat (limited to 'editors/code/src/utils/diagnostics')
0 files changed, 0 insertions, 0 deletions