equal
deleted
inserted
replaced
349 option phabricator_www_root : string = "/var/www" |
349 option phabricator_www_root : string = "/var/www" |
350 |
350 |
351 option phabricator_mysql_config : string = "/etc/mysql/debian.cnf" |
351 option phabricator_mysql_config : string = "/etc/mysql/debian.cnf" |
352 option phabricator_apache_root : string = "/etc/apache2" |
352 option phabricator_apache_root : string = "/etc/apache2" |
353 |
353 |
354 option phabricator_smtp_host : string = "" |
|
355 option phabricator_smtp_port : int = 465 |
|
356 option phabricator_smtp_user : string = "" |
|
357 option phabricator_smtp_passwd : string = "" |
|
358 option phabricator_smtp_protocol : string = "ssl" |
|
359 option phabricator_smtp_message_id : bool = true |
|
360 |
|
361 |
354 |
362 section "Isabelle/Scala/ML system channel" |
355 section "Isabelle/Scala/ML system channel" |
363 |
356 |
364 option system_channel_address : string = "" |
357 option system_channel_address : string = "" |
365 option system_channel_password : string = "" |
358 option system_channel_password : string = "" |