Drop this setting, we don't have a single repository root anymore.

horde · Oct 9, 2017 · 45243b6 · 45243b6
1 parent 977bb43
commit 45243b6
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/config/conf.php.dist b/config/conf.php.dist
@@ -10,10 +10,6 @@
  * Boolean values may be true or false (never quotes).
  */
 
-/* Directory for git checkouts. Either the base directory of all checkouts, or
-/* the checkout of a monolithic repository. */
-$conf['horde_root'] = '';
-
 /* PEAR server name. Only change for testing purposes. */
 $conf['releaseserver'] = 'pear.horde.org';