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-09-26 10:08:39 +0900 |
| commit | 4a5ec09f6112a1240c7874662ff2b4df0b572d7f (patch) | |
| tree | af387c58904b9adaafc094769ea5de0fb406003e /bin | |
| parent | 47f2ecb633fde72b27b4f4d5569b15538887dd48 (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 'bin')
0 files changed, 0 insertions, 0 deletions