From: Ben Pfaff Date: Sun, 9 Apr 2006 20:12:50 +0000 (+0000) Subject: Ignore *.info* X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6cd0c447a03e5505e7ca76784bef515cc4366a01;p=pintos-anon Ignore *.info* --- diff --git a/doc/.cvsignore b/doc/.cvsignore index c8a1f61..fbb3346 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -2,7 +2,7 @@ *.cp *.dvi *.fn -*.info +*.info* *.ky *.log *.pg