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 /pintos.fns
  13 /pintos.tps
  14 /pintos.vrs
  15 mlfqs1.pdf
  16 mlfqs1.png
  17 mlfqs2.pdf
  18 mlfqs2.png
  19 pintos.html
  20 pintos.pdf
  21 pintos.ps
  22 pintos.text
  23 pintos_*.html
  24 projects.html
  25 sample.tmpl.texi