Skip to content

Use alternative way for filtering projects in xtext language overview#2

Merged
PaulN2112CGE merged 1 commit into
developfrom
sync_with_offlinembt
Jun 1, 2026
Merged

Use alternative way for filtering projects in xtext language overview#2
PaulN2112CGE merged 1 commit into
developfrom
sync_with_offlinembt

Conversation

@Yuri-Blankenstein-TNO
Copy link
Copy Markdown
Collaborator

No description provided.

@Yuri-Blankenstein-TNO Yuri-Blankenstein-TNO self-assigned this Jun 1, 2026
@PaulN2112CGE PaulN2112CGE merged commit 49e9f6b into develop Jun 1, 2026
2 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