From 965a012db739ddc215cf6409d12c01fdfb08b62c Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 18 May 2016 06:54:14 +0200 Subject: [PATCH] Name strip_whitespace.sh correctly --- scripts/dev/{strip_whitespace.py => strip_whitespace.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename scripts/dev/{strip_whitespace.py => strip_whitespace.sh} (100%) diff --git a/scripts/dev/strip_whitespace.py b/scripts/dev/strip_whitespace.sh similarity index 100% rename from scripts/dev/strip_whitespace.py rename to scripts/dev/strip_whitespace.sh