Add a .gitignore to keep it much cleaner
This commit is contained in:
parent
da90718330
commit
77047c63fd
4
.gitignore
vendored
Normal file
4
.gitignore
vendored
Normal file
|
@ -0,0 +1,4 @@
|
|||
# files that should be ignored by git
|
||||
docs/*.def*
|
||||
*.diff
|
||||
*.patch
|
Loading…
Reference in a new issue