update with pdf docs
Passed
Stefano Scardigli
created pipeline for commit 18062e71
, finished
1 related merge request: !11 updates with pdf docs
13 seconds, queued for 3 seconds