etc/options
changeset 71049 f4b9dd5ab0cc
parent 70969 a48112873f81
child 71067 67cbf2e52785
--- a/etc/options	Tue Nov 05 16:47:59 2019 +0100
+++ b/etc/options	Tue Nov 05 16:49:33 2019 +0100
@@ -345,8 +345,6 @@
 
 section "Phabricator server"
 
-option phabricator_user : string = "phabricator"
-
 option phabricator_www_user : string = "www-data"
 option phabricator_www_root : string = "/var/www"