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

---
 Infoskript.tex | 1 +
 1 file changed, 1 insertion(+)

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