Take out unneeded file

5 months ago · 08a69985c8
parent 13a402031e
commit 08a69985c8
1 changed files with 0 additions and 1 deletions
--- a/docs/src/userguide.pdf
+++ b/docs/src/userguide.pdf
@ -1 +0,0 @@
 tmp/userguide.pdf