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