diff --git a/documents/menue_offline.inc b/documents/menue_offline.inc deleted file mode 100644 index ca3c48d..0000000 --- a/documents/menue_offline.inc +++ /dev/null @@ -1,28 +0,0 @@ -\begin{rawhtml} - -\end{rawhtml}