diff --git a/.gitignore b/.gitignore index b89bb7fb..6b67b4cd 100644 --- a/.gitignore +++ b/.gitignore @@ -10,14 +10,6 @@ *.cmxa *.cmxs -# random garbage -*\# -*~ -*.bak -*.BAK -*.orig -*.swp - # Garbage créé par le NFS *.nfs*