Fix git wrong language

This commit is contained in:
2023-11-17 11:28:48 +01:00
parent 423d0cde25
commit dc59cd4494
6 changed files with 318 additions and 5 deletions

View File

@ -21,7 +21,6 @@
\usepackage{eurosym}
\usepackage{bussproofs} % Deductive tree
\geometry{ margin=3cm, lmargin=1.5cm, rmargin=4.5cm, marginparwidth=3cm }
\hypersetup{ colorlinks, citecolor=black, filecolor=black, linkcolor=black, urlcolor=black, linktoc=all }