From 7ec05540efd4eb98b7f630ef5d11f824fcda7148 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Fri, 2 Feb 2024 02:01:12 +0100
Subject: [PATCH] some small changes

---
 inputs/tutorial_15.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/inputs/tutorial_15.tex b/inputs/tutorial_15.tex
index 2da6ab1..b3b0051 100644
--- a/inputs/tutorial_15.tex
+++ b/inputs/tutorial_15.tex
@@ -82,4 +82,4 @@ Consider the basic open set
 \{\cF \in  \beta\N  : \cF \ni f^{-1}(V)\}.
 \]
 
-% TODO
+\todo{I missed the last 5 minutes}