From 0e8444d235b87cc96c14dc908c7d96e85a687d22 Mon Sep 17 00:00:00 2001 From: Piotr Perzanowski Date: Tue, 18 Dec 2018 16:22:40 +0100 Subject: [PATCH] Commit with fix for the script name. Proper name is download-git-repos.sh Change-Id: I280a5eb38c027a1f800c78337d7fee440644908f Issue-ID: OOM-1551 Signed-off-by: Piotr Perzanowski --- .../creating_data/{downloading-git-repos.sh => download-git-repos.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename bash/tools/creating_data/{downloading-git-repos.sh => download-git-repos.sh} (100%) diff --git a/bash/tools/creating_data/downloading-git-repos.sh b/bash/tools/creating_data/download-git-repos.sh similarity index 100% rename from bash/tools/creating_data/downloading-git-repos.sh rename to bash/tools/creating_data/download-git-repos.sh -- 2.16.6