[.gitignore] c'est mieux que dans .git/info/exclude
This commit is contained in:
parent
b45c791c19
commit
8814ddd1e7
1 changed files with 22 additions and 0 deletions
22
.gitignore
vendored
Normal file
22
.gitignore
vendored
Normal file
|
@ -0,0 +1,22 @@
|
||||||
|
# Fichiers compilés
|
||||||
|
*.o
|
||||||
|
*.class
|
||||||
|
*.pyc
|
||||||
|
*.pyo
|
||||||
|
*.cma
|
||||||
|
*.cmi
|
||||||
|
*.cmo
|
||||||
|
*.cmx
|
||||||
|
*.cmxa
|
||||||
|
*.cmxs
|
||||||
|
|
||||||
|
# random garbage
|
||||||
|
*\#
|
||||||
|
*~
|
||||||
|
*.bak
|
||||||
|
*.BAK
|
||||||
|
*.orig
|
||||||
|
*.swp
|
||||||
|
|
||||||
|
# Garbage créé par le NFS
|
||||||
|
*.nfs*
|
Loading…
Add table
Add a link
Reference in a new issue