Skip to content

opt.: add tip for tools#124

Merged
lollipopkit merged 1 commit intomainfrom
lollipopkit/issue123
Aug 1, 2024
Merged

opt.: add tip for tools#124
lollipopkit merged 1 commit intomainfrom
lollipopkit/issue123

Conversation

@lollipopkit
Copy link
Copy Markdown
Owner

Fixes #123

@lollipopkit lollipopkit merged commit d5e77fa into main Aug 1, 2024
@lollipopkit lollipopkit deleted the lollipopkit/issue123 branch August 1, 2024 09:25
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.

opt.: add tip for tools

1 participant