diff options
| author | Michael Bolin <[email protected]> | 2019-07-11 04:44:23 +0100 |
|---|---|---|
| committer | Michael Bolin <[email protected]> | 2019-07-11 04:56:16 +0100 |
| commit | a814883cd40be772d52bb8e7424326021fdb0e0e (patch) | |
| tree | 66c9fa6e1c5775b25c12515cd9b041095cb96b83 /docs/dev | |
| parent | 61135d4d4df0a16cbd39831e23b7b0deeeea44a9 (diff) | |
Ignore workspace/didChangeConfiguration notifications.
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions