From a87814b325b2926a0d850740dad17b54e1411606 Mon Sep 17 00:00:00 2001 From: Peter Barker Date: Sun, 24 Sep 2017 08:52:40 +1000 Subject: [PATCH] Tools: rename runfliptest.sh to runfliptest.py As this is a Python script --- Tools/scripts/{runfliptest.sh => runfliptest.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Tools/scripts/{runfliptest.sh => runfliptest.py} (100%) diff --git a/Tools/scripts/runfliptest.sh b/Tools/scripts/runfliptest.py similarity index 100% rename from Tools/scripts/runfliptest.sh rename to Tools/scripts/runfliptest.py