diff options
| -rw-r--r-- | .gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..735661ea --- /dev/null +++ b/.gitignore | |||
| @@ -0,0 +1,12 @@ | |||
| 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 | ||
