Update PDF user manual

This commit is contained in:
Daniel Chappuis 2018-04-23 22:54:41 +02:00
parent 32e663a3ff
commit 45270f57a7