summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--controle-20260126.tex5
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
-
-
%
%
%