diff options
| -rw-r--r-- | build/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/.gitignore b/build/.gitignore index 41d7a24..3c56997 100644 --- a/build/.gitignore +++ b/build/.gitignore @@ -5,6 +5,7 @@ *.log *.out *.pdf +*.pdf.tmp *.toc images .asciidoctor |