diff options
Diffstat (limited to '.settings')
| -rw-r--r-- | .settings/org.eclipse.php.core.prefs | 2 | ||||
| -rw-r--r-- | .settings/org.eclipse.wst.common.project.facet.core.xml | 7 |
2 files changed, 9 insertions, 0 deletions
diff --git a/.settings/org.eclipse.php.core.prefs b/.settings/org.eclipse.php.core.prefs new file mode 100644 index 0000000..4f9563f --- /dev/null +++ b/.settings/org.eclipse.php.core.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +include_path=0;/InternetTechnologien diff --git a/.settings/org.eclipse.wst.common.project.facet.core.xml b/.settings/org.eclipse.wst.common.project.facet.core.xml new file mode 100644 index 0000000..fe725be --- /dev/null +++ b/.settings/org.eclipse.wst.common.project.facet.core.xml @@ -0,0 +1,7 @@ +<?xml version="1.0" encoding="UTF-8"?> +<faceted-project> + <fixed facet="php.component"/> + <fixed facet="php.core.component"/> + <installed facet="php.core.component" version="1"/> + <installed facet="php.component" version="5.6"/> +</faceted-project> |