diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-07 16:29:58 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-07 16:29:58 +0100 |
| commit | 98c468dee44e09a27c89019c3d8c584efe0bf1c0 (patch) | |
| tree | 7bdba85af27eb47c96d7136c71bd508f6da92a4c /bin/db-update | |
| parent | b90c2a7164a911a0fc30230f2817cbc3a65b4a86 (diff) | |
| download | builder-98c468dee44e09a27c89019c3d8c584efe0bf1c0.tar.xz | |
bin/strict-bashism-check: do not fail if shellcheck is not available
Diffstat (limited to 'bin/db-update')
0 files changed, 0 insertions, 0 deletions