Closed gboutry closed 1 year ago
We may want to rename downloadGenerator.sh
to generator.sh
or sth similar as it's not only downloading now?
We might, but it's not in the scope of the PR. Do you want me to rename it ?
We might, but it's not in the scope of the PR. Do you want me to rename it ?
@gboutry yes please, I'm not sure that it's worth it to reopen a PR for that.
Which issue(s) this PR fixes
Fixes #70
Additional comments
Agreements