From 340a7ece34013345e1520dcac38218b7d41c7c26 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Wed, 6 Feb 2019 18:16:41 +0000
Subject: Removed .sh suffix in download wrapper script

We don't have a `.sh' suffix in the other scripts of `reproduce/src/bash',
so it was also removed from this script.
---
 .file-metadata | Bin 4010 -> 4007 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to '.file-metadata')

diff --git a/.file-metadata b/.file-metadata
index e1cbf37..c36f801 100644
Binary files a/.file-metadata and b/.file-metadata differ
-- 
cgit v1.2.1