Skip to content
Lint

fix(document): use languageId to new LinesTextDocument #2281

Sign in to view logs

fix(document): use languageId to new LinesTextDocument

fix(document): use languageId to new LinesTextDocument #2281

Lint

Lint
succeeded Sep 19, 2024 in 41s