diff options
| author |   Piotr Perzanowski <p.perzanowsk@samsung.com> | 2018-12-18 16:22:40 +0100 |
|---|---|---|
| committer | Piotr Perzanowski <p.perzanowsk@samsung.com> | 2018-12-18 16:22:40 +0100 |
| commit | 0e8444d235b87cc96c14dc908c7d96e85a687d22 (patch) | |
| tree | 1f6c829b2675eb93b75a181e518860bc78330b8e /bash/tools | |
| parent | 6e8fb45c145b9ebae2d38349685de7960f05de1c (diff) | |
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 <p.perzanowsk@samsung.com>
Diffstat (limited to 'bash/tools')
| -rw-r--r-- | bash/tools/creating_data/download-git-repos.sh (renamed from bash/tools/creating_data/downloading-git-repos.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/bash/tools/creating_data/downloading-git-repos.sh b/bash/tools/creating_data/download-git-repos.sh index 4cd936d0..4cd936d0 100644 --- a/bash/tools/creating_data/downloading-git-repos.sh +++ b/bash/tools/creating_data/download-git-repos.sh |