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 from
Sep 13, 2023

Rename text "deftype" to "typedef"

aba1ace
Select commit
Loading
Failed to load commit list.
Merged

Rename text "deftype" to "typedef" #427

Rename text "deftype" to "typedef"
aba1ace
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs