Skip to content

Fixed linting#241

Merged
dsmits merged 1 commit intomainfrom
239-fix-linting-problems
Apr 9, 2025
Merged

Fixed linting#241
dsmits merged 1 commit intomainfrom
239-fix-linting-problems

Conversation

@dsmits
Copy link
Contributor

@dsmits dsmits commented Apr 9, 2025

No description provided.

@dsmits dsmits linked an issue Apr 9, 2025 that may be closed by this pull request
@dsmits dsmits merged commit f468136 into main Apr 9, 2025
3 checks passed
@dsmits dsmits deleted the 239-fix-linting-problems branch April 9, 2025 12:46
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.

fix linting problems

1 participant