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

diff --git a/.gitignore b/.gitignore
index 3dd074e1cd..95c02797a0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,7 @@ germano/
 smekens/
 williams/
 spv/
-svp2/
+spv2/
 unzipped/
 unzipped2/
 webold/