core/.settings/org.eclipse.jdt.ui.prefs - platform/external/arduino-ide - Git at Google

 #Fri Dec 30 18:14:57 CET 2011
 eclipse.preferences.version=1
 formatter_profile=_Arduino
 formatter_settings_version=11
 org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/>
	#Fri Dec 30 18:14:57 CET 2011
	eclipse.preferences.version=1
	formatter_profile=_Arduino
	formatter_settings_version=11
	org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/>