diff options
-rw-r--r-- | .gitignore | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..0bb28e1d --- /dev/null +++ b/.gitignore | |||
@@ -0,0 +1,13 @@ | |||
1 | .gitattributes | ||
2 | |||
3 | *.so | ||
4 | *.o | ||
5 | *.a | ||
6 | |||
7 | manual/manual.html | ||
8 | |||
9 | testes/time.txt | ||
10 | testes/time-debug.txt | ||
11 | |||
12 | testes/libs/all | ||
13 | |||