commit | bb59c700e2835e672575714bade086cecd974f94 | [log] [tgz] |
---|---|---|
author | Jürg Billeter <j@bitron.ch> | Thu Mar 18 15:12:20 2021 +0100 |
committer | GitHub <noreply@github.com> | Thu Mar 18 15:12:20 2021 +0100 |
tree | b1b162af3f7d2ea9d90cfc971260ad49d90fd474 | |
parent | 7045becf865cbc4990487a1fa717f73ecb96181f [diff] | |
parent | 5f7165f87aebbc6d26119244a76ad3d021c8adee [diff] |
Merge pull request #1435 from abderrahim/batch-integration-commands element: batch integration command when running a shell