diff options
Diffstat (limited to 'controle-20260126.tex')
| -rw-r--r-- | controle-20260126.tex | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/controle-20260126.tex b/controle-20260126.tex index 7703669..d051c48 100644 --- a/controle-20260126.tex +++ b/controle-20260126.tex @@ -128,8 +128,6 @@ Git: \input{vcline.tex} \pagebreak -\iftrue - % % @@ -577,9 +575,6 @@ Qed. \end{corrige} -\fi - - % % % |