diff --git a/.gitignore b/.gitignore index cca8b538..cf119a1d 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,6 @@ /doc /gh-pages +*.so +*.out +extensions/stamps/