From c12d8e7c85c46556d33dd2f5f293f7b4cb509f4a Mon Sep 17 00:00:00 2001 From: phil Date: Tue, 18 Jul 2006 13:47:23 +0000 Subject: [PATCH] * Menue geaendert --- documents/menue/menue.inc | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/documents/menue/menue.inc b/documents/menue/menue.inc index f111b74..a252c67 100644 --- a/documents/menue/menue.inc +++ b/documents/menue/menue.inc @@ -1,10 +1,11 @@ \begin{rawhtml} \end{rawhtml} \ No newline at end of file