Skip to content

Enhance shell batch setting to apply to scheduler scripts.#183

Merged
FrankD412 merged 8 commits intodevelopfrom enhance/shell_shebangApr 25, 2019

Commits

Commits on Apr 18, 2019

Commits on Apr 25, 2019