mirror of
https://github.com/microsoft/vscode.git
synced 2026-08-05 21:07:16 +01:00
9e017425b3
Fixes #47537 Use our own version of markdown named headers. This fixes some bugs around handling duplicate headers