Closed JKRhb closed 1 year ago
This PR removes the (if I see correctly) obsolete .idea directory, which is already covered by the .gitignore file but still present in the repository.
.idea
.gitignore
This PR removes the (if I see correctly) obsolete
.ideadirectory, which is already covered by the.gitignorefile but still present in the repository.