diff --git a/.gitignore b/.gitignore index 25abe9f..4727cfa 100644 --- a/.gitignore +++ b/.gitignore @@ -34,3 +34,6 @@ scripts/results ### vim ### *.swp + +### autogenerated sigsets ### +data/INRIAPerson/sigset