X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=f666851913dee545d97a021b9b511db6cbab0a61;hb=refs%2Fheads%2Fspv;hp=3dd074e1cd878fc2c603c8b9805ceb4ee69d49ec;hpb=68a20800ccdf1d5263e1a500f1acdaa982789419;p=pspp

diff --git a/.gitignore b/.gitignore
index 3dd074e1cd..f666851913 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,10 +1,8 @@
 germano/
 smekens/
 williams/
-spv/
-svp2/
-unzipped/
-unzipped2/
+spv*/
+unzipped*/
 webold/
 dump
 parse-xml