mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-22 11:52:14 +01:00
89eba8cf61
The offline documentation is hard to update and gets outdated very quickly. Fix #8860