removed trailing whitespace
[pintos-anon] / doc / .cvsignore
index c8a1f61aba9810a8e29b345e731313d3214e0974..fbb33467cf0dfe54cb55aea71865b2fb60f10bf5 100644 (file)
@@ -2,7 +2,7 @@
 *.cp
 *.dvi
 *.fn
-*.info
+*.info*
 *.ky
 *.log
 *.pg