Skip to content

Conversation

@jamesoff
Copy link
Owner

Add an ignore config option to ignore VuXML ids for things which aren't going to be fixed any time soon

@jamesoff jamesoff merged commit 19fb031 into develop Jan 20, 2026
32 checks passed
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