mirror of
https://github.com/ArduPilot/ardupilot
synced 2025-03-12 01:23:56 -03:00
This prevents devs from using their own repo settings Signed-off-by: Ryan Friedman <ryanfriedman5410+github@gmail.com> |
||
---|---|---|
.. | ||
extensions.json | ||
settings.default.json |