Skip to content

fixes gitignore#267

Merged
ringabout merged 1 commit intodevelfrom
pr_opt1
Mar 29, 2025
Merged

fixes gitignore#267
ringabout merged 1 commit intodevelfrom
pr_opt1

Conversation

@ringabout
Copy link
Copy Markdown
Member

No description provided.

@ringabout ringabout merged commit d0fa620 into devel Mar 29, 2025
4 checks passed
@ringabout ringabout deleted the pr_opt1 branch March 29, 2025 12:12
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