?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Further progress on failure detectors
[mymsc.git] / .gitignore
blob2bceff0373746c8a97a57186310a9a8b383fa223
1 *.dvi
2 *.ps
3 *.pdf
4 *.log
5 *.blg
6 *.bbl
7 *.out
8 *.aux
9 auto