Skip to content

Use @unique to ensure and communicate enum uniqueness#2425

Merged
adamtheturtle merged 1 commit intomainfrom
unique-enum
Nov 4, 2024
Merged

Use @unique to ensure and communicate enum uniqueness#2425
adamtheturtle merged 1 commit intomainfrom
unique-enum

Commits

Commits on Nov 4, 2024