Skip to content

Conversation

soerendomroes
Copy link
Member

No description provided.

@soerendomroes soerendomroes requested a review from a-sr October 17, 2023 15:44
@a-sr a-sr changed the title language.server.kicool: Compilation logs. Added support for showing compilation logs in Kieler VS Code Oct 18, 2023
@a-sr a-sr added the enhancement New feature or request label Oct 18, 2023
Copy link
Member

@a-sr a-sr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@a-sr a-sr merged commit bb31af8 into master Oct 18, 2023
@a-sr a-sr deleted the sdo/compilationLogs branch October 18, 2023 07:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants