diff --git a/.gitignore b/.gitignore index 4ef28dd50..b3255ec5e 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,7 @@ bin/ *.log *.out *.toc +*.o build docs/ RELEASE.txt