Skip to content

rename skill to maneuvers#33

Merged
guyfleeman merged 1 commit into
mainfrom
dev/will/rename_skills_to_maneuvers
Jun 16, 2026
Merged

rename skill to maneuvers#33
guyfleeman merged 1 commit into
mainfrom
dev/will/rename_skills_to_maneuvers

Conversation

@guyfleeman

Copy link
Copy Markdown
Contributor

No description provided.

@guyfleeman guyfleeman self-assigned this Jun 15, 2026
@guyfleeman guyfleeman merged commit 5c79e61 into main Jun 16, 2026
1 check passed
@guyfleeman guyfleeman deleted the dev/will/rename_skills_to_maneuvers branch June 16, 2026 23:55
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.

3 participants