tree ef236322e80498c6c3b128e8f36422484ca119e9
parent 8d9410ce881e43ec8ea82ec7a3b0541c0ffbc3dd
author Mark Wielaard <mark@klomp.org> 1563731939 +0200
committer Mark Wielaard <mark@klomp.org> 1563732638 +0200

Mention the --help command line option in the documentation.

Bug-Debian: https://bugs.debian.org/517257