From 58bfb68f349ef7695fcf5071204c0c0eebf03807 Mon Sep 17 00:00:00 2001
From: Thomas Lenz <tlenz@iaik.tugraz.at>
Date: Thu, 30 Jan 2014 12:06:04 +0100
Subject: remove Eclipse config files

---
 common/.settings/org.eclipse.wst.common.project.facet.core.xml | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 common/.settings/org.eclipse.wst.common.project.facet.core.xml

(limited to 'common/.settings/org.eclipse.wst.common.project.facet.core.xml')

diff --git a/common/.settings/org.eclipse.wst.common.project.facet.core.xml b/common/.settings/org.eclipse.wst.common.project.facet.core.xml
deleted file mode 100644
index 656f15b87..000000000
--- a/common/.settings/org.eclipse.wst.common.project.facet.core.xml
+++ /dev/null
@@ -1,7 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<faceted-project>
-  <fixed facet="jst.java"/>
-  <fixed facet="jst.utility"/>
-  <installed facet="jst.utility" version="1.0"/>
-  <installed facet="jst.java" version="5.0"/>
-</faceted-project>
\ No newline at end of file
-- 
cgit v1.2.3