mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-16 20:56:01 +08:00
This is not used and in the only places it would make sense would be internally to the scheduler so remove it.
This is not used and in the only places it would make sense would be internally to the scheduler so remove it.