X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.cvsignore;fp=doc%2F.cvsignore;h=0000000000000000000000000000000000000000;hb=877208550085617dd296fd66df541b46aa0e91a8;hp=fbb33467cf0dfe54cb55aea71865b2fb60f10bf5;hpb=b0a8de6745aebfd327a693c88196e211e523dbc1;p=pintos-anon

diff --git a/doc/.cvsignore b/doc/.cvsignore
deleted file mode 100644
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