mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-06 19:00:27 +08:00
this isn't referenced anywhere and is causing unnecessary maintenance overhead. Presumably overtaken by github docker install images and the devenv install scripts