aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorChristopher Baines <mail@cbaines.net>2019-05-02 20:19:59 +0100
committerChristopher Baines <mail@cbaines.net>2019-05-07 20:52:02 +0100
commit5b3d3cf71c1947bb43237b28d231d249f9dfbe49 (patch)
tree9d7340bf6f56b8bb1df5f11651010999decbf4e3 /gnu/packages/coq.scm
parent338defe0cbe156e8416647035403fccf059555e0 (diff)
downloadpatches-5b3d3cf71c1947bb43237b28d231d249f9dfbe49.tar
patches-5b3d3cf71c1947bb43237b28d231d249f9dfbe49.tar.gz
services: dovecot: Rename auth-verbose-passwords?.
* gnu/services/mail.scm (dovecot-configuration)[auth-verbose-passwords?]: Rename to auth-verbose-passwords, and change the type to a string, as this parameter can take one of three string values. * doc/guix.texi (Dovecot service): Update the corresponding documentation.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions