diff options
| -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 |