2020-10-08 08:32:57 +02:00
|
|
|
% apply settings
|
2020-10-07 14:41:54 +02:00
|
|
|
\input{settings}
|
|
|
|
|
|
2020-10-08 08:32:57 +02:00
|
|
|
% begin document
|
2020-10-07 14:41:54 +02:00
|
|
|
\begin{document}
|
|
|
|
|
|
|
|
|
|
…
|
|
|
|
|
|
2020-10-08 08:32:57 +02:00
|
|
|
% end document
|
2020-10-07 14:41:54 +02:00
|
|
|
\end{document}
|
