Skip to content
Back to pull request #1615

fix(editor): Position outline in the margin left of editor #1148

Sign in to view logs

fix(editor): Position outline in the margin left of editor

fix(editor): Position outline in the margin left of editor #1148

php-lint (8.0)

php-lint (8.0)
succeeded Dec 19, 2024 in 1m 29s