Merge pull request #9173 from charles-chenzz/main

update gitignore
This commit is contained in:
Fu Wei 2023-10-02 19:35:39 +08:00 committed by GitHub
commit 02c9520d38
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

3
.gitignore vendored
View File

@ -1,3 +1,6 @@
# If you want to ignore files created by your editor/tools, please consider a
# [global .gitignore](https://help.github.com/articles/ignoring-files).
/bin/ /bin/
/man/ /man/
coverage.txt coverage.txt