mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-10 00:46:09 +01:00
7eea624dfa
It did not contain any actual code anymore, so it can be removed, along with the infrastructure for setting it up. |
||
|---|---|---|
| .. | ||
| app | ||