mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2025-04-06 23:57:31 +02:00
Could be replaced with builtin $$shell_path but that appears to be buggy on windows git bash
Could be replaced with builtin $$shell_path but that appears to be buggy on windows git bash