Skip to content
This repository has been archived by the owner on May 5, 2024. It is now read-only.

.gitignore update for idea ide #794

Merged
merged 1 commit into from
Feb 9, 2020

Conversation

SteffenHeu
Copy link
Member

Hi,

I updated the .gitignore so it does not update the idea ide files to github.

Best regards
Steffen

@tomas-pluskal
Copy link
Member

Thanks! But I think we should all focus our efforts on the mzmine3 repo now :)

@tomas-pluskal tomas-pluskal merged commit b4eef7e into mzmine:master Feb 9, 2020
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