From 57d209473984c176ab416501e30526e98ca6045b Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Wed, 14 Jun 2023 19:43:50 +0200
Subject: Concepto de mónada
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 1db5035..e264802 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,4 +13,5 @@ auto/
 *~
 _region_.tex
 prv_*.fmt
-*.prv
\ No newline at end of file
+*.prv
+*.out
\ No newline at end of file
-- 
cgit v1.2.3