# HG changeset patch
# User wenzelm
# Date 1573078590 -3600
# Node ID 67cbf2e52785b1f92ff4e55ecdd1ecc63d486f8b
# Parent  114db2b5a5f87bbe9dcfb9a275ff1e745c47f824
unused;

diff -r 114db2b5a5f8 -r 67cbf2e52785 etc/options
--- a/etc/options	Wed Nov 06 22:51:54 2019 +0100
+++ b/etc/options	Wed Nov 06 23:16:30 2019 +0100
@@ -351,13 +351,6 @@
 option phabricator_mysql_config : string = "/etc/mysql/debian.cnf"
 option phabricator_apache_root : string = "/etc/apache2"
 
-option phabricator_smtp_host : string = ""
-option phabricator_smtp_port : int = 465
-option phabricator_smtp_user : string = ""
-option phabricator_smtp_passwd : string = ""
-option phabricator_smtp_protocol : string = "ssl"
-option phabricator_smtp_message_id : bool = true
-
 
 section "Isabelle/Scala/ML system channel"