diff options
Diffstat (limited to 'toolchains/arduino/org.eclipse.cdt.arduino.ui/build.properties')
-rw-r--r-- | toolchains/arduino/org.eclipse.cdt.arduino.ui/build.properties | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/toolchains/arduino/org.eclipse.cdt.arduino.ui/build.properties b/toolchains/arduino/org.eclipse.cdt.arduino.ui/build.properties index 18900cdf5f3..3413f244f6d 100644 --- a/toolchains/arduino/org.eclipse.cdt.arduino.ui/build.properties +++ b/toolchains/arduino/org.eclipse.cdt.arduino.ui/build.properties @@ -19,6 +19,9 @@ bin.includes = META-INF/,\ icons/,\ about.html,\ plugin.properties,\ - cdt_logo_icon32.png + cdt_logo_icon32.png,\ + about.ini,\ + about.mappings,\ + about.properties source.. = src/ src.includes = about.html |