Skip to content

Conversation

@BeardedFish
Copy link
Owner

Closes #11.

@BeardedFish BeardedFish added the enhancement New feature or request label Feb 2, 2025
@BeardedFish BeardedFish self-assigned this Feb 2, 2025
@BeardedFish BeardedFish marked this pull request as draft February 2, 2025 09:24
@BeardedFish BeardedFish changed the title Draft: Added diagnostic support to detect duplicate properties and strings Added diagnostic support to detect duplicate properties and strings Mar 1, 2025
@BeardedFish BeardedFish marked this pull request as ready for review March 1, 2025 05:24
@BeardedFish BeardedFish merged commit 412d6c4 into main Mar 1, 2025
4 checks passed
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.

Add real-time document diagnostic support

2 participants