diff options
| author | Carl Hetherington <cth@carlh.net> | 2021-10-06 01:16:28 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2021-10-06 01:16:35 +0200 |
| commit | da5a9e65ca466fe6652bafc04d344b7a57efcaf0 (patch) | |
| tree | 589cb676f59cc2130f5c6a554605063f5ddc00c9 /doc/manual/.gitignore | |
| parent | 969906f2dd6c5c144781861f53e2a0f6baefb9a3 (diff) | |
Add some details about verification to the manual.
Diffstat (limited to 'doc/manual/.gitignore')
| -rw-r--r-- | doc/manual/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore index 3fa250264..bc9331596 100644 --- a/doc/manual/.gitignore +++ b/doc/manual/.gitignore @@ -1 +1,4 @@ screenshots/*.pdf +verify_bv21_errors.xml +verify_errors.xml +verify_warnings.xml |