Docu update.

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

00:03:47

passed #18277
mistral xen
build-intel18

00:10:18

 
  Check
passed #18278
mistral xen
check-gcc64

00:04:52

passed #18279
mistral xen
check-intel18

00:05:22