diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/config.inc.php (renamed from tools/config_local.inc.php) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/config_local.inc.php b/tools/config.inc.php index 6e74538fb..6e74538fb 100644 --- a/tools/config_local.inc.php +++ b/tools/config.inc.php |