Skip to content

Provide a tool for erasing elements#296

Merged
jesusmpc merged 2 commits into
mainfrom
feature/GH-288-support-for-erase-tool
May 28, 2025
Merged

Provide a tool for erasing elements#296
jesusmpc merged 2 commits into
mainfrom
feature/GH-288-support-for-erase-tool

Conversation

@jesusmpc

Copy link
Copy Markdown
Contributor

Closes #288

@jesusmpc jesusmpc changed the title Support for erase tool Provide a tool for erasing elements May 28, 2025
@jesusmpc jesusmpc self-assigned this May 28, 2025
@jesusmpc jesusmpc added the skip-release Skips the release creation label May 28, 2025
@jesusmpc jesusmpc marked this pull request as ready for review May 28, 2025 09:46
@jesusmpc jesusmpc merged commit b75e484 into main May 28, 2025
17 checks passed
@jesusmpc jesusmpc deleted the feature/GH-288-support-for-erase-tool branch June 10, 2025 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-release Skips the release creation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Provide a tool for erasing elements

1 participant