From 1cff86025eb9d0521d4aa6ec5f65e001c1743aa0 Mon Sep 17 00:00:00 2001
From: Anup Parikh <anuppari@users.noreply.github.com>
Date: Mon, 10 Jul 2017 10:20:51 -0600
Subject: [PATCH] Fix issue #7525

Add missing `.py` extension to Tools/px4 to fix #7525
---
 Tools/{px4 => px4.py} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Tools/{px4 => px4.py} (100%)

diff --git a/Tools/px4 b/Tools/px4.py
similarity index 100%
rename from Tools/px4
rename to Tools/px4.py
-- 
GitLab