Rename .cvsignore files to .gitignore.

[pintos-anon] / doc / .cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
deleted file mode 100644 (file)
index fbb3346..0000000
--- a/doc/.cvsignore
+++ /dev/null
@@ -1,22 +0,0 @@
-*.aux
-*.cp
-*.dvi
-*.fn
-*.info*
-*.ky
-*.log
-*.pg
-*.toc
-*.tp
-*.vr
-mlfqs1.pdf
-mlfqs1.png
-mlfqs2.pdf
-mlfqs2.png
-pintos.html
-pintos.pdf
-pintos.ps
-pintos.text
-pintos_*.html
-projects.html
-sample.tmpl.texi