commit 56a165bf0f061f7aff744fafd44691a2beb4b035 parent 422ce50d2e8856ed789d1359c673122dbb0088ea Author: Roberto Ierusalimschy <roberto@inf.puc-rio.br> Date: Thu, 2 Jul 2020 16:54:56 -0300 Added '.gitignore' to the repository Diffstat:
| A | .gitignore | | | 12 | ++++++++++++ |
1 file changed, 12 insertions(+), 0 deletions(-)
diff --git a/.gitignore b/.gitignore @@ -0,0 +1,12 @@ +.gitattributes + +*.so +*.o +*.a + +manual/manual.html + +testes/time.txt +testes/time-debug.txt + +testes/libs/all