Skip to content

Conversation

@saki7
Copy link
Collaborator

@saki7 saki7 commented Aug 17, 2025

This improves navigation on IDE, no semantic changes.

@saki7 saki7 self-assigned this Aug 17, 2025
@saki7 saki7 added the enhancement New feature or request label Aug 17, 2025
@saki7 saki7 merged commit 22af8cc into main Aug 17, 2025
5 checks passed
@saki7 saki7 deleted the add-cpp-hint branch August 17, 2025 10:06
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