Skip to content

chore: rename Generator to Property#332

Merged
RLittlesII merged 3 commits intomainfrom
chore/rename
Oct 9, 2025
Merged

chore: rename Generator to Property#332
RLittlesII merged 3 commits intomainfrom
chore/rename

Conversation

@RLittlesII
Copy link
Copy Markdown
Contributor

prepping for a new feature

@github-actions github-actions bot added the 🔨 chore Just keeping things neat and tidy label Oct 9, 2025
@github-actions github-actions bot added this to the v0.11.2 milestone Oct 9, 2025
prepping for a new feature
@RLittlesII RLittlesII merged commit b35a112 into main Oct 9, 2025
3 checks passed
@RLittlesII RLittlesII deleted the chore/rename branch October 9, 2025 03:19
@rsg-bot rsg-bot modified the milestones: v0.11.2, v0.12.0 Dec 4, 2025
@github-actions github-actions bot modified the milestones: v0.12.0, v0.12.1 Dec 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🔨 chore Just keeping things neat and tidy

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants