Skip to content

Remove addins files, which are no longer used - #1721

Merged
CharliePoole merged 1 commit into
version4from
issue-723
Jun 30, 2025
Merged

Remove addins files, which are no longer used#1721
CharliePoole merged 1 commit into
version4from
issue-723

Conversation

@CharliePoole

Copy link
Copy Markdown
Member

Fixes #723

@CharliePoole
CharliePoole merged commit 8a9ecf2 into version4 Jun 30, 2025
4 checks passed
@CharliePoole
CharliePoole deleted the issue-723 branch June 30, 2025 23:42
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