Skip to content

Commit d6a2e54

Browse files
Apply 1 suggestion(s) to 1 file(s)
Co-authored-by: Elie Richa <[email protected]>
1 parent 8c32ff5 commit d6a2e54

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

integration/vscode/ada/media/report_issue_template.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,6 @@ Include information about the actual workspace project (for example, is the proj
1616
Please provide your VS Code workspace-specific configuration files and logs. Logs are in particular very useful to investigate bugs such as unexpected exceptions.
1717

1818
- `tasks.json` file (for VS Code task-related issues) or `launch.json` (for VS Code debug-related issues)
19-
- Logs from running `Ada: Show extension output from the VS Code command palette
19+
- Logs from running `Ada: Show extension output` from the VS Code command palette
2020
- Logs from the Ada Language Server in the `$HOME/.als directory` (`%USERPROFILE%/.als` on Windows). More info about ALS logging can be found [here](https://github.com/AdaCore/ada_language_server/blob/master/doc/traces.md)
2121

0 commit comments

Comments
 (0)