Skip to content

TypeSchema: Rename RegularTypeSchema to SpecializationTypeSchema - #114

Merged
ryukzak merged 1 commit into
mainfrom
rename-regular-to-specialization-type-schema
Mar 23, 2026
Merged

TypeSchema: Rename RegularTypeSchema to SpecializationTypeSchema#114
ryukzak merged 1 commit into
mainfrom
rename-regular-to-specialization-type-schema

Rename RegularTypeSchema to SpecializationTypeSchema

c001a11
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.