Skip to content

clean up unused types in definitions.rs and remove outdated docstring - #818

Merged
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:clean-up-definitions-collections
Sep 25, 2026
Merged

clean up unused types in definitions.rs and remove outdated docstring#818
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:clean-up-definitions-collections

Commits

Commits on Sep 25, 2026