]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'logfile-doc-improvement' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Thu, 31 Oct 2019 10:47:57 +0000 (10:47 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Thu, 31 Oct 2019 10:47:57 +0000 (10:47 +0000)
doc: describe how to make gnutls-cli quiet for pipe usage

Closes #845

See merge request gnutls/gnutls!1108


Trivial merge