From: Michael M Slusarz <slusarz@curecanti.org>
Date: Wed, 23 Dec 2009 02:28:49 +0000 (-0700)
Subject: Ignore some files/directories useful for dev setup
X-Git-Url: https://git.internetallee.de/?a=commitdiff_plain;h=c23b0f9a3c5d3e226ad99ad72d534565d338c971;p=horde.git

Ignore some files/directories useful for dev setup
---

diff --git a/.gitignore b/.gitignore
index dfade75b8..2b10cdff8 100644
--- 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
index 60ba07d89..000000000
--- 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'));