diff options
author | 2017-08-28 07:12:05 +0000 | |
---|---|---|
committer | 2017-08-28 07:12:05 +0000 | |
commit | 8efd31d199379d593f3ea74f7d8a7eefd6046f61 (patch) | |
tree | ad07ea792c937d4bd9b1a800d30c9ad4fb7ea904 /jjb/opera | |
parent | 5218c9fc5a6884f7ddd086089d85eb547149391a (diff) | |
parent | 24a9ac5a97f39d3b45b64cf01afbbe0af6704546 (diff) |
Merge "Avoid exiting the script if an error happens"
Diffstat (limited to 'jjb/opera')
0 files changed, 0 insertions, 0 deletions