Skip to content

backport: Upstream updates#5

Closed
gravemalte wants to merge 10 commits intolitcpslab:developfrom
FeatureIDE:develop
Closed

backport: Upstream updates#5
gravemalte wants to merge 10 commits intolitcpslab:developfrom
FeatureIDE:develop

Conversation

@gravemalte
Copy link
Member

No description provided.

@gravemalte gravemalte changed the base branch from develop to main January 7, 2026 10:22
Removes color bars from configuration editor.
@gravemalte gravemalte changed the base branch from main to develop February 19, 2026 14:17
@gravemalte gravemalte closed this Feb 19, 2026
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