From 340a7ece34013345e1520dcac38218b7d41c7c26 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi 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