Skip to content

simplify definitions.rs - #826

Open
moritz-gross wants to merge 3 commits into
daisy:mainfrom
moritz-gross:simplify-definitions-rs
Open

moritz-gross wants to merge 3 commits into
daisy:mainfrom
moritz-gross:simplify-definitions-rs

Commits

Commits on Sep 26, 2026