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

diff --git a/doc/.cvsignore b/doc/.cvsignore
new file mode 100644
index 0000000..f1ff90d
--- /dev/null
+++ b/doc/.cvsignore
@@ -0,0 +1,15 @@
+*.aux
+*.cp
+*.dvi
+*.fn
+*.info
+*.ky
+*.log
+*.pg
+*.toc
+*.tp
+*.vr
+mlfqs1.png
+mlfqs2.png
+projects.html
+projects_*.html