diff --git a/index.html b/index.html index 2b2e066c9..6dc971bc8 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
or dconf.service
?+
ca.desrt.dconf
or dconf.service
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index d2d698f25..f0e3c59fb 100644 --- a/options.html +++ b/options.html @@ -180,7 +180,7 @@ indicate the nature of the provider. When this indicates a specific provider then, for example, the IMAP, SMTP, and JMAP server configuration may be set automatically. -
Type: one of "plain", "gmail.com", "runbox.com", "fastmail.com"
Default: "plain"
Declared by:
+ |