Skip to content

chore: delete .idea directory#73

Merged
rkettelerij merged 2 commits intomasterfrom
idea
Feb 16, 2026
Merged

chore: delete .idea directory#73
rkettelerij merged 2 commits intomasterfrom
idea

Conversation

@rkettelerij
Copy link
Collaborator

Description

chore: delete .idea directory

Type of change

(Remove irrelevant options)

  • Minor change (typo, formatting, version bump)

Checklist:

  • I've double-checked the code in this PR myself
  • I've left the code better than before (boy scout rule)
  • The code is readable, comments are added that explain hard or non-obvious parts.
  • I've expanded/improved the (unit) tests, when applicable
  • I've run (unit) tests that prove my solution works
  • There's no sensitive information like credentials in my PR

@RoelvandenBerg
Copy link
Collaborator

Misschien ook meteen een gitignore toeevoegen 😇

@rkettelerij rkettelerij merged commit c365f5d into master Feb 16, 2026
1 check passed
@rkettelerij rkettelerij deleted the idea branch February 16, 2026 17: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.

3 participants