Merge pull request #136135 from l0b0/chore/ignore-idea-configuration

chore: Ignore JetBrains IDEA configuration
This commit is contained in:
Maximilian Bosch 2021-09-12 00:36:41 +02:00 committed by GitHub
commit 263c6410ec
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

1
.gitignore vendored
View file

@ -2,6 +2,7 @@
,*
.*.swp
.*.swo
.idea/
result
result-*
/doc/NEWS.html