txs auto checkin

This commit is contained in:
2023-01-04 16:19:01 +01:00
parent 49da1c3f25
commit 3beb37c598

View File

@@ -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