diff options
Diffstat (limited to 'doc/manual/.gitignore')
| -rw-r--r-- | doc/manual/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore index e89e6fba3..bc9331596 100644 --- a/doc/manual/.gitignore +++ b/doc/manual/.gitignore @@ -1,3 +1,4 @@ +screenshots/*.pdf verify_bv21_errors.xml verify_errors.xml verify_warnings.xml |