Skip to content

UI wording#92

Merged
jourdain merged 3 commits intomasterfrom
ui_wording
May 5, 2026
Merged

UI wording#92
jourdain merged 3 commits intomasterfrom
ui_wording

Conversation

@huiwanpnnl
Copy link
Copy Markdown
Collaborator

A few minor changes in UI wording and key bindings for the domain users.

@jourdain jourdain merged commit 68f2eaf into master May 5, 2026
1 check passed
@jourdain jourdain deleted the ui_wording branch May 5, 2026 15:32
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