Merge pull request #177165 from yuuyins/gitignore

.gitignore: prepend slash to result and source
This commit is contained in:
Mario Rodas 2022-06-19 08:56:12 -05:00 committed by GitHub
commit 7b62e79629
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

4
.gitignore vendored
View file

@ -5,13 +5,13 @@
.idea/
.vscode/
outputs/
result
result-*
source/
/doc/NEWS.html
/doc/NEWS.txt
/doc/manual.html
/doc/manual.pdf
/result
/source/
.version-suffix
.DS_Store