/devel/arduino18/files/

• ../
• patch-app_src_processing_app_Base.java
• patch-arduino-core_src_cc_arduino_contributions_libraries_LibraryInstaller.java
• patch-arduino-core_src_cc_arduino_contributions_packages_ContributionInstaller.java
• patch-arduino-core_src_cc_arduino_contributions_packages_ContributionsIndexer.java
• patch-arduino-core_src_cc_arduino_contributions_packages_HostDependentDownloadableContribution.java
• patch-arduino-core_src_processing_app_BaseNoGui.java
• patch-arduino-core_src_processing_app_SerialPortList.java
• patch-build_build.xml