diff --git a/.gitignore b/.gitignore index 7448f72bcf5e2354ab6b92bd2e09600662da1a17..b6de1004f6f96529cac8bcf4fb4817af79588d51 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,7 @@ *.a *.fig \#*\# +*.txt # Build system rules build-aux/*