Ignore some files/directories useful for dev setup

diff --git a/.gitignore b/.gitignore
index dfade75..2b10cdf 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,6 @@
 */config/*.php
 .DS_Store
 /lib/
-/libs/
 .cache
 .project
 .settings
@@ -9,3 +8,7 @@
 .#*
 *.orig
 *.rej
+
+horde/lib/core.local.php
+horde/libs/
+horde/static/*.*

diff --git a/horde/lib/core.local.php b/horde/lib/core.local.php
deleted file mode 100644 (file)
index 60ba07d..0000000
--- a/horde/lib/core.local.php
+++ /dev/null
@@ -1,2 +0,0 @@
-<?php
-ini_set('include_path', dirname(__FILE__) . '/../libs' . PATH_SEPARATOR . ini_get('include_path'));