Skip to content

Tag extensions with a functional category - #24

Merged
Anton-Horn merged 1 commit into
mainfrom
feat/extension-categories
Jul 21, 2026
Merged

Tag extensions with a functional category#24
Anton-Horn merged 1 commit into
mainfrom
feat/extension-categories

Commits

Commits on Jul 21, 2026