Docu update.

4 jobs for develop in 15 minutes and 41 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #20572
mistral xen
build-gcc64

00:03:16

passed #20573
mistral xen
build-intel18

00:09:54

 
  Check
passed #20574
mistral xen
check-gcc64

00:05:16

passed #20575
mistral xen
check-intel18

00:05:46