From 68231bdb9a19a768387e34354adde7172a720cb7 Mon Sep 17 00:00:00 2001
From: hg <devnull@localhost>
Date: Sun, 2 Feb 2014 22:03:20 +0100
Subject: [PATCH] eclipse migration

---
 .settings/language.settings.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.settings/language.settings.xml b/.settings/language.settings.xml
index 2b7ad02..43fcf31 100644
--- a/.settings/language.settings.xml
+++ b/.settings/language.settings.xml
@@ -3,7 +3,7 @@
 	<configuration id="it.baeyens.arduino.core.toolChain.release.1518476005" name="Release">
 		<extension point="org.eclipse.cdt.core.LanguageSettingsProvider">
 			<provider copy-of="extension" id="org.eclipse.cdt.ui.UserLanguageSettingsProvider"/>
-			<provider class="it.baeyens.arduino.toolchain.ArduinoLanguageProvider" console="false" id="it.baeyens.arduino.languageSettingsProvider" keep-relative-paths="false" name="Arduino Compiler Settings" parameter="${COMMAND} -E -P -v -dD ${INPUTS}" prefer-non-shared="true">
+			<provider class="it.baeyens.arduino.toolchain.ArduinoLanguageProvider" console="false" env-hash="-2011256820" id="it.baeyens.arduino.languageSettingsProvider" keep-relative-paths="false" name="Arduino Compiler Settings" parameter="${COMMAND} -E -P -v -dD ${INPUTS}" prefer-non-shared="true">
 				<language-scope id="org.eclipse.cdt.core.gcc"/>
 				<language-scope id="org.eclipse.cdt.core.g++"/>
 			</provider>