From 88ba7eadac86c90b2d7e4810421bffde625ba2bc Mon Sep 17 00:00:00 2001
From: "Christian P. MOMON" <christian.momon@devinsy.fr>
Date: Wed, 10 Jan 2018 01:06:07 +0100
Subject: [PATCH] Cleaned Eclipse settings.

---
 ...rg.eclipse.wst.common.project.facet.core.builder.launch | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 .externalToolBuilders/org.eclipse.wst.common.project.facet.core.builder.launch

diff --git a/.externalToolBuilders/org.eclipse.wst.common.project.facet.core.builder.launch b/.externalToolBuilders/org.eclipse.wst.common.project.facet.core.builder.launch
deleted file mode 100644
index c9bf5a5..0000000
--- a/.externalToolBuilders/org.eclipse.wst.common.project.facet.core.builder.launch
+++ /dev/null
@@ -1,7 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.ant.AntBuilderLaunchConfigurationType">
-<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_BUILDER_ENABLED" value="false"/>
-<stringAttribute key="org.eclipse.ui.externaltools.ATTR_DISABLED_BUILDER" value="org.eclipse.wst.common.project.facet.core.builder"/>
-<mapAttribute key="org.eclipse.ui.externaltools.ATTR_TOOL_ARGUMENTS"/>
-<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/>
-</launchConfiguration>