diff options
| author | Carl Hetherington <cth@carlh.net> | 2021-10-17 23:33:21 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2021-10-17 23:36:49 +0200 |
| commit | 17e24bf9da76e16faf7891c4e2814d4ef014cac9 (patch) | |
| tree | 57c3d6d44bb418bd4ca994af0906fd8e40615c1e /doc/manual/.gitignore | |
| parent | 03afafd96800dcf3071e3b038ce5f9f3dba234df (diff) | |
Revert "Add the PDF screenshots to git; I don't know why they weren't added before."
This reverts commit 6ec5bbc84d6c1383c599daf52e3e9fef23c6ce34. PDF
screenshots are supposed to be in raw-screenshots.
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 |
