Skip to content

add tooltips to title id dropdowns#184

Merged
hornmo merged 1 commit intodevelopfrom
842-tooltips-for-titleid-dropdowns
Jul 10, 2025
Merged

add tooltips to title id dropdowns#184
hornmo merged 1 commit intodevelopfrom
842-tooltips-for-titleid-dropdowns

Conversation

@christophkohl1
Copy link
Copy Markdown
Collaborator

No description provided.

@hornmo hornmo merged commit 35ea172 into develop Jul 10, 2025
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