diff --git a/Public/m4/.gitignore b/Public/m4/.gitignore index ad6d6d1..279ab99 100644 --- a/Public/m4/.gitignore +++ b/Public/m4/.gitignore @@ -1,4 +1,6 @@ *.aux +*.toc +*.out *.pdf *.log *.fls