Sign in
android
/
platform
/
external
/
arduino-ide
/
refs/heads/main
/
.
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: e49ba9012a658fbf8e179c3b603e49fab3261b1c [
file
] [
log
] [
blame
]
#Fri Dec 30 12:12:25 CET 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_Arduino
formatter_settings_version
=
11