This repository was archived by the owner on Nov 19, 2024. It is now read-only.

Shorten the names of the tabs#691

Merged

uhafner merged 2 commits intomasterfrom

Jun 2, 2023

Commits on May 27, 2023

Shorten the name of the tabs.
uhafner
committed

Commits on Jun 1, 2023

Make IDs for toggles in table unique.
uhafner
committed