From ad8a76ce073646c159e1172384515acef9c28c83 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20T=C3=A4nzer?= Date: Wed, 22 Jun 2011 13:40:23 +0200 Subject: [PATCH] Remove settings from repository control MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Michael Tänzer --- manager/.buildpath | 6 ------ manager/.settings/.jsdtscope | 11 ----------- manager/.settings/org.eclipse.php.core.prefs | 5 ----- .../org.eclipse.wst.jsdt.ui.superType.container | 1 - .../.settings/org.eclipse.wst.jsdt.ui.superType.name | 1 - 5 files changed, 24 deletions(-) delete mode 100644 manager/.buildpath delete mode 100644 manager/.settings/.jsdtscope delete mode 100644 manager/.settings/org.eclipse.php.core.prefs delete mode 100644 manager/.settings/org.eclipse.wst.jsdt.ui.superType.container delete mode 100644 manager/.settings/org.eclipse.wst.jsdt.ui.superType.name diff --git a/manager/.buildpath b/manager/.buildpath deleted file mode 100644 index d9b76e7..0000000 --- a/manager/.buildpath +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - diff --git a/manager/.settings/.jsdtscope b/manager/.settings/.jsdtscope deleted file mode 100644 index f40dd98..0000000 --- a/manager/.settings/.jsdtscope +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - diff --git a/manager/.settings/org.eclipse.php.core.prefs b/manager/.settings/org.eclipse.php.core.prefs deleted file mode 100644 index d2d74b0..0000000 --- a/manager/.settings/org.eclipse.php.core.prefs +++ /dev/null @@ -1,5 +0,0 @@ -#Thu Apr 22 14:01:49 CEST 2010 -eclipse.preferences.version=1 -include_path=0;/ca-mgr (mawaunix)\u00055;org.zend.php.framework.CONTAINER -phpVersion=php5 -use_asp_tags_as_php=false diff --git a/manager/.settings/org.eclipse.wst.jsdt.ui.superType.container b/manager/.settings/org.eclipse.wst.jsdt.ui.superType.container deleted file mode 100644 index 3bd5d0a..0000000 --- a/manager/.settings/org.eclipse.wst.jsdt.ui.superType.container +++ /dev/null @@ -1 +0,0 @@ -org.eclipse.wst.jsdt.launching.baseBrowserLibrary \ No newline at end of file diff --git a/manager/.settings/org.eclipse.wst.jsdt.ui.superType.name b/manager/.settings/org.eclipse.wst.jsdt.ui.superType.name deleted file mode 100644 index 05bd71b..0000000 --- a/manager/.settings/org.eclipse.wst.jsdt.ui.superType.name +++ /dev/null @@ -1 +0,0 @@ -Window \ No newline at end of file