Skip to content

Add a simple tooltip to the sidebar#6295

Merged
charliermarsh merged 1 commit intomainfrom
charlie/tooltip
Aug 3, 2023
Merged

Add a simple tooltip to the sidebar#6295
charliermarsh merged 1 commit intomainfrom
charlie/tooltip

Commits

Commits on Aug 3, 2023