pintos-os.org Git - pintos-anon/blob - doc/.gitignore

   1 *.aux
   2 *.cp
   3 *.dvi
   4 *.fn
   5 *.info*
   6 *.ky
   7 *.log
   8 *.pg
   9 *.toc
  10 *.tp
  11 *.vr
  12 mlfqs1.pdf
  13 mlfqs1.png
  14 mlfqs2.pdf
  15 mlfqs2.png
  16 pintos.html
  17 pintos.pdf
  18 pintos.ps
  19 pintos.text
  20 pintos_*.html
  21 projects.html
  22 sample.tmpl.texi