This repository was archived by the owner on Apr 25, 2025. It is now read-only.

Rename text "deftype" to "typedef"#427

Merged

rossberg merged 1 commit intomainfrom

Sep 13, 2023

Commits on Sep 12, 2023

Rename text "deftype" to "typedef"
tlively
committed