diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-07-13 01:15:46 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-07-22 00:36:24 +0200 |
| commit | 2f2df8e53124bee8bc8312f37bc8608dc46085d6 (patch) | |
| tree | 820157a6294115fe0b4bbb0d41ef3526cf20e2f0 /doc/manual/.gitignore | |
| parent | 95fc64295a860814ddee477c46e2028ea1a1f15c (diff) | |
Use PDF screenshots for the manual.
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 e69de29bb..3fa250264 100644 --- a/doc/manual/.gitignore +++ b/doc/manual/.gitignore @@ -0,0 +1 @@ +screenshots/*.pdf |