mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2025-01-19 04:52:12 +01:00
f6116d7349
Rename variables for local tools and installation directory.