From 419dafcd1d6d3fbd0866c8f1081092d630c22c6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Enrique=20Kessler=20Mart=C3=ADnez?= <qkessler@gmail.com>
Date: Thu, 13 May 2021 09:49:30 +0200
Subject: [PATCH] feat: add .gitignore

There are some files that do not need to be in the repository.
I previously ignored them privately (.git/info/exclude), but
there is no real need for that, just add the .gitignore to the repo.
---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..4972f0c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,5 @@
+/*.aux
+/*.log
+/*.out
+/*.pdf
+/*.gz