Skip to content

remove lint#8

Merged
dawiddykacz merged 1 commit into
mainfrom
remove_lint
Apr 19, 2026
Merged

remove lint#8
dawiddykacz merged 1 commit into
mainfrom
remove_lint

Conversation

@dawiddykacz
Copy link
Copy Markdown
Collaborator

No description provided.

@dawiddykacz dawiddykacz merged commit 8e01165 into main Apr 19, 2026
2 checks passed
@dawiddykacz dawiddykacz deleted the remove_lint branch April 19, 2026 19: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