From cbfe39e67cae62ffb5ceb65decb0ff06c3b7803c Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Thu, 7 Aug 2008 12:11:28 +0000
Subject: [PATCH] empty commit (mistake)

---
 Manual_tools/doc_tex/Manual_tools/manual.bib | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Manual_tools/doc_tex/Manual_tools/manual.bib b/Manual_tools/doc_tex/Manual_tools/manual.bib
index ae85934781d..cf388333d37 100644
--- a/Manual_tools/doc_tex/Manual_tools/manual.bib
+++ b/Manual_tools/doc_tex/Manual_tools/manual.bib
@@ -213,3 +213,4 @@
     month        = may,
     signature    = {eigene Ablage, Ordner ueber Tools}
 }
+