diff --git a/doc/.gitignore b/doc/.gitignore index 1d549ade60c4d886124e7d79ab6ef6b0fdb9235c..52106f80557d6bdfb5867be19a33fb7ec6f85805 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -13,3 +13,4 @@ *.tp *.txt *.vr +*.out