Skip to content

Comments

Dev better download#1453

Merged
rcorces merged 2 commits intorelease_1.0.2from
dev_betterDownload
Jun 7, 2022
Merged

Dev better download#1453
rcorces merged 2 commits intorelease_1.0.2from
dev_betterDownload

Conversation

@rcorces
Copy link
Collaborator

@rcorces rcorces commented Jun 7, 2022

No description provided.

rcorces added 2 commits June 7, 2022 14:33
check for existence of each file individually rather than the download directory. Add new .downloadFiles() function to handle file download and checking to see if files downloaded properly.
@rcorces rcorces merged commit 6e218eb into release_1.0.2 Jun 7, 2022
@rcorces rcorces deleted the dev_betterDownload branch June 7, 2022 21:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant