Skip to content

Conversation

@jviotti
Copy link
Member

@jviotti jviotti commented Nov 6, 2025

Simpler than doing the F5 thing, mainly if you don't actually use VS
Code.

Signed-off-by: Juan Cruz Viotti [email protected]

Simpler than doing the F5 thing, mainly if you don't actually use VS
Code.

Signed-off-by: Juan Cruz Viotti <[email protected]>
@jviotti jviotti merged commit c922541 into main Nov 6, 2025
6 checks passed
@jviotti jviotti deleted the open-makefile branch November 6, 2025 15:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants