diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-24 20:53:12 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-24 20:53:12 +0100 |
| commit | d60b4867f2cd03b23dfb7b76aaee4d68017ec384 (patch) | |
| tree | 9c36e8050fc433db1338427b02caa408d90bcf84 /web-scripts | |
| parent | 8db7e5acbe9de5f44ed79ba4ce11947b3586338f (diff) | |
| download | builder-d60b4867f2cd03b23dfb7b76aaee4d68017ec384.tar.xz | |
bin/check-opcodes: reduce "set +e ... set -e"
Diffstat (limited to 'web-scripts')
0 files changed, 0 insertions, 0 deletions