Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 80Name Last modified Size Description
Parent Directory -
arduino-builder-1.3.25-platform-paths.patch 2018-03-06 21:08 1.0K
arduino-builder-1.3.25-skip-tests.patch 2018-10-15 20:39 4.9K
arduino-builder-1.4.1-platform-paths.patch 2018-10-09 19:39 952
arduino-builder-1.4.1-skip-tests.patch 2018-10-15 20:39 5.5K
platform.txt 2020-09-06 21:09 1.2K