X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=bea2475981258605e6162da1d092384b227f9cea;hb=1d2daa5e084a464e4cf6c9129fd59426bdf16457;hp=4033d25e44d57a24c1845179410ba638da729829;hpb=0fa989f51b9e9246a4bcb41a23b549401aeff5f4;p=pspp

diff --git a/.gitignore b/.gitignore
index 4033d25e44..bea2475981 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,9 @@
 germano/
 smekens/
 williams/
-web/
-websav/
+spv/
+unzipped/
+webold/
 dump
 tdump*
 ndump*