X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=f666851913dee545d97a021b9b511db6cbab0a61;hb=8dc6ac4fc9db5dd3dd0a9fba73179c60d287214e;hp=95c02797a0f6ead5c975b61ea1aae6d063ef53e0;hpb=7802d3315464f29b075f69253162405e4d52fd27;p=pspp

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