X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=f666851913dee545d97a021b9b511db6cbab0a61;hb=a238251e88033f190c6613b0fb2da743ab86792b;hp=fba1fc27c19fea18a4f81dad98ff5249e8861add;hpb=0f833bb108ef5a1d78be8ee31b2fe2855f6bd03b;p=pspp

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