The "pgp-command" setting:

Command used to clear-sign manifests at check-in. Default value is "gpg --clearsign -o"

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]