Merge pull request #146410 from yuuyins/gitignore

gitignore: add outputs/ and source/
This commit is contained in:
Maximilian Bosch 2021-11-28 00:23:24 +01:00 committed by GitHub
commit c936e4c272
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

2
.gitignore vendored
View file

@ -3,8 +3,10 @@
.*.swp
.*.swo
.idea/
outputs/
result
result-*
source/
/doc/NEWS.html
/doc/NEWS.txt
/doc/manual.html