diff --git a/index.html b/index.html index 7388908be..238935535 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 317a693b2..8580c4598 100644 --- a/options.html +++ b/options.html @@ -89,7 +89,7 @@ indicate the nature of the provider. When this indicates a specific provider then, for example, the IMAP and SMTP server configuration may be set automatically. -
Type: one of "plain", "gmail.com", "runbox.com"
Default: "plain"
Declared by:
+ |