diff options
author | 2017-10-27 10:06:33 +0000 | |
---|---|---|
committer | 2017-10-27 10:06:33 +0000 | |
commit | ac4530fa1c89ff1a6af3cec09b3b5de458426bde (patch) | |
tree | fc4f7b3fbe1326e686debfcf13886f7fa446cb58 /.yamllint | |
parent | ab9d5af063c243d3201b9405f8781515a08ce0f3 (diff) | |
parent | fa62907da62d0b8ae9e733a9729941065ceedf4d (diff) |
Merge "lib.sh: Fix compatibility with bash 4.2"
Diffstat (limited to '.yamllint')
0 files changed, 0 insertions, 0 deletions