From 3beb37c59878ebde2955f1d40f9b1f31ec40df13 Mon Sep 17 00:00:00 2001
From: etsstiffler <ets.stiffler@gmail.com>
Date: Wed, 4 Jan 2023 16:19:01 +0100
Subject: [PATCH] txs auto checkin

---
 Infoskript.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Infoskript.tex b/Infoskript.tex
index 71e4805..c0068f0 100644
--- a/Infoskript.tex
+++ b/Infoskript.tex
@@ -59,7 +59,6 @@ version={4.0},
 {\baselineskip}% Space above
 {\baselineskip}% Space below
 {}% Body font\\
-
 {}% Indent amount
 {\bfseries}% Theorem head font
 {}% Punctuation after theorem head