mirror of
https://github.com/microsoft/vscode.git
synced 2026-05-21 23:59:34 +01:00
15d602195f
Diff: https://github.com/xtermjs/xterm.js/compare/51dc03a...31d3ae4 Move off deprecated registerMarker and correct given new | undefined in api