[.gitignore] Clean after yourself.
This commit is contained in:
parent
8cf3d7332a
commit
7ce03ce064
1 changed files with 0 additions and 8 deletions
8
.gitignore
vendored
8
.gitignore
vendored
|
@ -10,14 +10,6 @@
|
||||||
*.cmxa
|
*.cmxa
|
||||||
*.cmxs
|
*.cmxs
|
||||||
|
|
||||||
# random garbage
|
|
||||||
*\#
|
|
||||||
*~
|
|
||||||
*.bak
|
|
||||||
*.BAK
|
|
||||||
*.orig
|
|
||||||
*.swp
|
|
||||||
|
|
||||||
# Garbage créé par le NFS
|
# Garbage créé par le NFS
|
||||||
*.nfs*
|
*.nfs*
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue