mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-29 10:24:12 +01:00
4 lines
87 B
INI
4 lines
87 B
INI
eclipse.preferences.version=1
|
|
formatter_profile=_Arduino
|
|
formatter_settings_version=12
|