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