diff options
author | Jonas Schievink <[email protected]> | 2020-12-03 16:54:43 +0000 |
---|---|---|
committer | Jonas Schievink <[email protected]> | 2020-12-03 16:54:43 +0000 |
commit | bca1e5fcb825c6c4e09ec197513b5568fce3d985 (patch) | |
tree | a746eaa040b70d547940e8c2b0766cca7744d874 /editors/code/src/commands.ts | |
parent | 883c8d177d61d34d70d4fccef788fe4b35aaa7ea (diff) |
Rename `error_sink` to `diagnostic_sink`
Diffstat (limited to 'editors/code/src/commands.ts')
0 files changed, 0 insertions, 0 deletions