Not necessary, will be created by install_dev, or can be created manually.
authorJan Schneider <jan@horde.org>
Tue, 18 May 2010 11:04:45 +0000 (13:04 +0200)
committerJan Schneider <jan@horde.org>
Tue, 18 May 2010 16:30:36 +0000 (18:30 +0200)
pastie/config/horde.local.php.dist [deleted file]

diff --git a/pastie/config/horde.local.php.dist b/pastie/config/horde.local.php.dist
deleted file mode 100644 (file)
index 9793ac3..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-<?php
-/* Defines the location of the Horde base directory, if it is not in its
- * default location (TODO: where is default). */
-define('HORDE_BASE', '/path/to/horde');