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