Merge branch 'gilbert' into gilbert-1.3

[philo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 5cde84d..0d20b64 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1 @@
 *.pyc
-*~
-*#
-TODO