mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-11-04 16:40:30 +08:00
These conversions were done by spirit rather than literally. Note that the webots python params get several more checks enabled but the one disabled now matches the comment.