From 0f9240b1530bcefc97276de99f2d57885be4bc9f Mon Sep 17 00:00:00 2001
From: Ian Hinder <ian.hinder@aei.mpg.de>
Date: Mon, 9 Aug 2010 18:09:43 +0200
Subject: .gitignore: Update list of ignored files

---
 .gitignore | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.gitignore b/.gitignore
index 2e3416f..f15ff57 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,15 @@
 *.log
 *.ps
 *.toc
+*.4ct
+*.4tc
+*.css
+*.dvi
+*.html
+*.idv
+*.lg
+*.pdf
+*.tmp
+*.xref
+*.png
+*.pdf
-- 
cgit v1.2.3