Skip to content

Rename text "deftype" to "typedef"#427

Merged
rossberg merged 1 commit intomainfrom text-typedefSep 13, 2023

Commits

Commits on Sep 12, 2023