Skip to content

Support the new RIDL "basepath" keyword#10

Merged
VojtechVitek merged 3 commits into
masterfrom
support-the-new-ridl-basepath-keyword
Feb 12, 2026
Merged

Support the new RIDL "basepath" keyword#10
VojtechVitek merged 3 commits into
masterfrom
support-the-new-ridl-basepath-keyword

Conversation

@VojtechVitek
Copy link
Copy Markdown
Contributor

No description provided.

@VojtechVitek VojtechVitek merged commit ce78150 into master Feb 12, 2026
2 checks passed
@VojtechVitek VojtechVitek deleted the support-the-new-ridl-basepath-keyword branch February 12, 2026 12:17
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.

1 participant