Skip to content

Add hover language service providers#81

Merged
jjonescz merged 5 commits intomainfrom
hover
Jun 30, 2025
Merged

Add hover language service providers#81
jjonescz merged 5 commits intomainfrom
hover

Conversation

@jjonescz
Copy link
Owner

@jjonescz jjonescz commented Jun 29, 2025

image

@jjonescz jjonescz added the enhancement New feature or request label Jun 29, 2025
@jjonescz jjonescz marked this pull request as ready for review June 30, 2025 17:23
@jjonescz jjonescz merged commit 584dfed into main Jun 30, 2025
3 checks passed
@jjonescz jjonescz deleted the hover branch June 30, 2025 17:23
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.

1 participant