Added .gitignore to the repository

This commit is contained in:
Roberto Ierusalimschy 2020-07-13 10:54:28 -03:00
parent c33b1728ae
commit 3e1dc3bc67
1 changed files with 13 additions and 0 deletions

13
.gitignore vendored Normal file
View File

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