diff --git a/documents/menue.inc b/documents/menue.inc new file mode 100644 index 0000000..98149de --- /dev/null +++ b/documents/menue.inc @@ -0,0 +1,28 @@ +\begin{rawhtml} + +\end{rawhtml} diff --git a/documents/menue_online.inc b/documents/menue_online.inc deleted file mode 100644 index 36f8e7d..0000000 --- a/documents/menue_online.inc +++ /dev/null @@ -1,28 +0,0 @@ -\begin{rawhtml} - -\end{rawhtml}