diff --git a/.gitignore b/.gitignore index e4355b859..834d363ac 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,7 @@ include/ *.class *.orig *~ +.hypothesis/ .eggs/