manual: ignore built manual.pdf file

This commit is contained in:
Mike Swanson 2019-08-23 22:40:52 -07:00
parent 85e00b3057
commit 3a5d31a714

1
manual/.gitignore vendored Normal file
View file

@ -0,0 +1 @@
manual.pdf