Skip to content
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 into
mainfrom
text-typedef
Sep 13, 2023
Merged

Rename text "deftype" to "typedef"#427
rossberg merged 1 commit into
mainfrom
text-typedef

Rename text "deftype" to "typedef"

aba1ace
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs