From 56a165bf0f061f7aff744fafd44691a2beb4b035 Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Thu, 2 Jul 2020 16:55:23 -0300
Subject: [PATCH] Added '.gitignore' to the repository

---
 .gitignore | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000..735661ea
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,12 @@
+.gitattributes
+
+*.so
+*.o
+*.a
+
+manual/manual.html
+
+testes/time.txt
+testes/time-debug.txt
+
+testes/libs/all