Skip to content

Various updates#38

Merged
that-hatter merged 58 commits intomasterfrom
various-updates
Apr 28, 2025
Merged

Various updates#38
that-hatter merged 58 commits intomasterfrom
various-updates

Conversation

@that-hatter
Copy link
Member

@that-hatter that-hatter commented Apr 28, 2025

  • added base documentation to all (existing) enums, constants, namespaces, types, and tags
  • added new constants, tags, and enums
  • various consistency updates

@that-hatter that-hatter merged commit 8e94927 into master Apr 28, 2025
1 check passed
@that-hatter that-hatter deleted the various-updates branch April 28, 2025 00:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant