Skip to content

Comments

Very, very important feature#919

Merged
rgantzos merged 1 commit intoSTForScratch:mainfrom
rgantzos:main
Jul 9, 2024
Merged

Very, very important feature#919
rgantzos merged 1 commit intoSTForScratch:mainfrom
rgantzos:main

Conversation

@rgantzos
Copy link
Collaborator

@rgantzos rgantzos commented Jul 9, 2024

No description provided.

@rgantzos rgantzos added type: enhancement Makes an existing feature better scope: popup/settings Has to do with the settings in some way labels Jul 9, 2024
@rgantzos rgantzos added this to the ScratchTools v4.0.0 milestone Jul 9, 2024
@rgantzos rgantzos merged commit 79fc0d5 into STForScratch:main Jul 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

scope: popup/settings Has to do with the settings in some way type: enhancement Makes an existing feature better

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant