diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-25 20:56:35 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:12 +0100 |
| commit | 8bca9baf3cb371eb45023eb986b8730e21cf728c (patch) | |
| tree | 07e3bae4e84f40a61ac13ac122a3a7e7de32b798 /language-web/src/main/js/global.d.ts | |
| parent | feat(web): disconnect background tabs only (diff) | |
| download | refinery-8bca9baf3cb371eb45023eb986b8730e21cf728c.tar.gz refinery-8bca9baf3cb371eb45023eb986b8730e21cf728c.tar.zst refinery-8bca9baf3cb371eb45023eb986b8730e21cf728c.zip | |
feat(web): show lint status on lint button
Diffstat (limited to 'language-web/src/main/js/global.d.ts')
0 files changed, 0 insertions, 0 deletions