Martin Waitz | be217ff | 2006-01-09 20:53:52 -0800 | [diff] [blame] | 1 | *.xml |
2 | *.ps | ||||
3 | |||||
4 | *.html | ||||
5 | *.9.gz | ||||
6 | *.9 | ||||
Henrik Austad | 70eed8d | 2009-04-02 16:57:18 -0700 | [diff] [blame] | 7 | *.aux |
8 | *.dvi | ||||
9 | *.log | ||||
10 | *.out | ||||
Michael Jones | bbcede0 | 2011-03-16 11:22:53 -0300 | [diff] [blame] | 11 | media/ |