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 | |
| parent | 883c8d177d61d34d70d4fccef788fe4b35aaa7ea (diff) | |
Rename `error_sink` to `diagnostic_sink`
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions