1 files changed, 0 insertions, 0 deletions

diff --git a/manual.pdf b/manual.pdf
index 71c3b3f..e8c6380 100644
--- a/manual.pdf
+++ b/manual.pdf