Merge branch 'gilbert' into gilbert-1.3
[philo.git] / .gitignore
index 5cde84d..0d20b64 100644 (file)
@@ -1,4 +1 @@
 *.pyc
-*~
-*#
-TODO