projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f72a951)
Ignore *.info*
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Apr 2006 20:12:50 +0000 (20:12 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Apr 2006 20:12:50 +0000 (20:12 +0000)
doc/.cvsignore patch | blob | history

diff --git a/doc/.cvsignore b/doc/.cvsignore
index c8a1f61aba9810a8e29b345e731313d3214e0974..fbb33467cf0dfe54cb55aea71865b2fb60f10bf5 100644 (file)
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -2,7 +2,7 @@
 *.cp
 *.dvi
 *.fn
-*.info
+*.info*
 *.ky
 *.log
 *.pg
Pintos public repository