From 1d2daa5e084a464e4cf6c9129fd59426bdf16457 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 26 Jul 2015 22:02:47 -0700
Subject: [PATCH] Update .gitignore.

---
 .gitignore | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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*
-- 
2.30.2