From cd507d32ca28506ebf84c75d643cb74bcd294c1c Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Fri, 8 Nov 2013 23:02:22 +0100
Subject: [PATCH] remove obsolete file

---
 documentation/text/.gitignore | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 documentation/text/.gitignore

diff --git a/documentation/text/.gitignore b/documentation/text/.gitignore
deleted file mode 100644
index 424c745..0000000
--- a/documentation/text/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*.h