Enhance shell batch setting to apply to scheduler scripts.#183
Merged
FrankD412 merged 8 commits intodevelopfrom enhance/shell_shebangApr 25, 2019
+32-11
Commits
Commits on Apr 18, 2019
- committedFrancesco Di Natale
- committedFrancesco Di Natale
- committedFrancesco Di Natale
- committedFrancesco Di Natale
- committedFrancesco Di Natale
- committedFrancesco Di Natale
- committedFrancesco Di Natale
Commits on Apr 25, 2019
- authoredFrancesco Di Natale