Leah Rowe a942bd6590 move download/gitmodule script to root directory ...

this fixes the build error:

Error: name not set
Usage: ./download gitmodule [name]

when running:

./download all

running "all" runs all scripts under downloads,
one of which was the gitmodule script itself, therefore
being run without argument

2023-03-17 23:13:20 +00:00

..

revisions

move download/gitmodule script to root directory

2023-03-17 23:13:20 +00:00