From f26a1a40b8c91b6b697088213d8633b89fd4869c Mon Sep 17 00:00:00 2001
From: Martin Edenhofer <me@edenhofer.de>
Date: Wed, 7 Nov 2012 14:18:24 +0100
Subject: [PATCH] Added tmp/ directory.

---
 .gitignore | 2 +-
 tmp/README | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 tmp/README

diff --git a/.gitignore b/.gitignore
index 5c2c63764..6203373e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,7 +12,7 @@
 
 # Ignore all logfiles and tempfiles.
 /log/*.log
-/tmp
+/tmp/*
 
 # Ignore .project files
 /.project
diff --git a/tmp/README b/tmp/README
new file mode 100644
index 000000000..e69de29bb