diff options
| author | Gaëtan <36162164+gaetanfl@users.noreply.github.com> | 2019-06-11 17:51:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-11 17:51:19 +0200 |
| commit | c6f248b4041ad25593862e1a3b7c58be17c0a094 (patch) | |
| tree | a2330a7d5c8d1a89a8b7a3e988ebf328fa20b09f /dhall | |
| parent | 1d3b813b22bc5d3a8d53fce5209008f25727d08c (diff) | |
| parent | 6a5583bd51ee9c903fb29a83866994e65a9b3484 (diff) | |
| download | ansible-clever-c6f248b4041ad25593862e1a3b7c58be17c0a094.tar.gz ansible-clever-c6f248b4041ad25593862e1a3b7c58be17c0a094.tar.zst ansible-clever-c6f248b4041ad25593862e1a3b7c58be17c0a094.zip | |
Merge pull request #44 from gaetanfl/fix_shell_pipefailv1.22
use bash with -o pipefail
Diffstat (limited to 'dhall')
0 files changed, 0 insertions, 0 deletions