From bccd4f9adce7ffe790b11b7fee82e007b2e9a9a5 Mon Sep 17 00:00:00 2001
From: Federico Ponzi <me@fponzi.me>
Date: Wed, 2 Oct 2024 09:02:07 +0100
Subject: [PATCH] Ignore playground

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

diff --git a/.gitignore b/.gitignore
index 4f1d230..2efc4cd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
 states/
 *.dvi
 *.tex
+playground
\ No newline at end of file