Skip to content

[TASK] Add .idea files to .gitignore#1567

Merged
oliverklee merged 1 commit intoMyIntervals:mainfrom
AnReiter:ideaignore
Apr 16, 2026
Merged

[TASK] Add .idea files to .gitignore#1567
oliverklee merged 1 commit intoMyIntervals:mainfrom
AnReiter:ideaignore

Conversation

@AnReiter
Copy link
Copy Markdown
Contributor

No description provided.

@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 72.927%. remained the same — AnReiter:ideaignore into MyIntervals:main

@oliverklee oliverklee added the developer-specific Issues that only affect maintainers, contributors, and people submitting PRs label Apr 16, 2026
@oliverklee oliverklee merged commit c87bc5c into MyIntervals:main Apr 16, 2026
24 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

developer-specific Issues that only affect maintainers, contributors, and people submitting PRs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants