From 9c178be5056e03526b6fd777c85eca6a243c5cae Mon Sep 17 00:00:00 2001
From: IEncinas <ignacioencinasrubio@gmail.com>
Date: Wed, 23 Nov 2022 16:06:51 +0100
Subject: [PATCH] Update gitignore

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index d8d6e2a..6696948 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
 *.out
 *.aux
 *.log
+*.nav
+*.toc
+*.snm