Skip to content

kinds: rm unused kind K"inert"#561

Merged
Keno merged 1 commit intomainfrom
kf/rminert
Jun 12, 2025
Merged

kinds: rm unused kind K"inert"#561
Keno merged 1 commit intomainfrom
kf/rminert

Commits

Commits on Jun 12, 2025