Skip to content

Migrate PerseusWidgetsMap to use a merged interface to represent all available widgets#1936

Merged
jeremywiebe merged 6 commits intomainfrom jer/perseus-widget-map-extensibleDec 4, 2024

Commits

Commits on Nov 29, 2024

Commits on Dec 2, 2024

Commits on Dec 3, 2024

Commits on Dec 4, 2024