mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-16 20:56:01 +08:00
A convenience, since we don't expect the board to change for a given configuration.
A convenience, since we don't expect the board to change for a given configuration.