mirror of
https://github.com/microsoft/vscode.git
synced 2026-09-13 22:12:07 +01:00
Diff: https://github.com/xtermjs/xterm.js/compare/51dc03a...31d3ae4 Move off deprecated registerMarker and correct given new | undefined in api