Update pdf user manual

This commit is contained in:
Daniel Chappuis 2018-04-30 22:58:43 +02:00
parent 6ef879cd78
commit c03d595ad2