Skip to content

Make lines in warning output clickable in VS Code#1769

Open
Robotechnic wants to merge 6 commits intogoblint:masterfrom
Robotechnic:vscode_notation
Open

Make lines in warning output clickable in VS Code#1769
Robotechnic wants to merge 6 commits intogoblint:masterfrom
Robotechnic:vscode_notation

Commits

Commits on Jun 26, 2025