From ffff696fa3e93a1aed5ec2c1313df53b62f12399 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sun, 23 Jan 2022 01:30:57 +0100
Subject: [PATCH] update gitignore

---
 doc/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/.gitignore b/doc/.gitignore
index db9bc6e..f630fdc 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -12,3 +12,4 @@ wip/proof/.skip
 *.glo
 *.hd
 *.toc
+*.sty