diff options
| author | Konstantin Đorđević <vomindoraan@gmail.com> | 2019-09-07 10:17:54 +0200 |
|---|---|---|
| committer | Florian Didron <fdidron@users.noreply.github.com> | 2019-10-01 10:21:12 +0900 |
| commit | b5a5ce043b1a6606f377bc4fa7b6fed438ff601f (patch) | |
| tree | af387c58904b9adaafc094769ea5de0fb406003e /.gitmodules | |
| parent | c2788ef766c8359ca940cbcd95094cb7b5df88f0 (diff) | |
Update docker_build.sh: indentation fix, error echo function (#6659)
* Replace spaces with tab in docker_build.sh
* Use errcho instead of echo >&2
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions