From c23b0f9a3c5d3e226ad99ad72d534565d338c971 Mon Sep 17 00:00:00 2001
From: Michael M Slusarz <slusarz@curecanti.org>
Date: Tue, 22 Dec 2009 19:28:49 -0700
Subject: [PATCH] Ignore some files/directories useful for dev setup

---
 .gitignore               | 5 ++++-
 horde/lib/core.local.php | 2 --
 2 files changed, 4 insertions(+), 3 deletions(-)
 delete mode 100644 horde/lib/core.local.php

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'));
-- 
2.11.0