Browse Source

Added .gitignore

Roberto Ierusalimschy 5 years ago
parent
commit
4d6efa1f2d
1 changed files with 13 additions and 0 deletions
  1. 13 0
      .gitignore

+ 13 - 0
.gitignore

@@ -0,0 +1,13 @@
+.gitattributes
+
+*.so
+*.o
+*.a
+
+manual/manual.html
+
+testes/time.txt
+testes/time-debug.txt
+
+testes/libs/all
+