Ignore some files/directories useful for dev setup
authorMichael M Slusarz <slusarz@curecanti.org>
Wed, 23 Dec 2009 02:28:49 +0000 (19:28 -0700)
committerMichael M Slusarz <slusarz@curecanti.org>
Wed, 23 Dec 2009 02:40:57 +0000 (19:40 -0700)
.gitignore
horde/lib/core.local.php [deleted file]

index dfade75..2b10cdf 100644 (file)
@@ -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
+++ /dev/null
@@ -1,2 +0,0 @@
-<?php
-ini_set('include_path', dirname(__FILE__) . '/../libs' . PATH_SEPARATOR . ini_get('include_path'));