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