X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=.gitignore;h=3dd074e1cd878fc2c603c8b9805ceb4ee69d49ec;hp=fba1fc27c19fea18a4f81dad98ff5249e8861add;hb=68a20800ccdf1d5263e1a500f1acdaa982789419;hpb=77b70801d56d19a531c970c57bc585cd69395edb

diff --git a/.gitignore b/.gitignore
index fba1fc27c1..3dd074e1cd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,9 @@ germano/
 smekens/
 williams/
 spv/
+svp2/
 unzipped/
+unzipped2/
 webold/
 dump
 parse-xml