Skip to content

Jetbrains annotation cleanup #247

Merged
merged 1 commit into from
Aug 8, 2023
Merged

Jetbrains annotation cleanup #247

merged 1 commit into from
Aug 8, 2023

Conversation

GoodforGod
Copy link
Contributor

Jetbrains annotation cleanup

@GoodforGod GoodforGod requested a review from Squiry August 8, 2023 07:08
@Squiry Squiry merged commit c3ff72e into main Aug 8, 2023
6 checks passed
@Squiry Squiry deleted the annotation-cleanup branch August 8, 2023 14:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants