Skip to content
Snippets Groups Projects

Manual.rst: small update

Passed
Carsten Rose created pipeline for commit 263274b1
, finished
3 jobs 3 minutes 31 seconds, queued for 58 seconds