diff options
| author | Konstantin Đorđević <vomindoraan@gmail.com> | 2019-09-07 10:17:54 +0200 |
|---|---|---|
| committer | fauxpark <fauxpark@gmail.com> | 2019-09-07 18:17:54 +1000 |
| commit | 4d339b7b5d1ecc2320080798d7e07e2d43675578 (patch) | |
| tree | b7b5755c507f671ff069e8ed31d0f0a614ad705a /users/jarred/config.h | |
| parent | 736bdc7e97ec8f91a3bf36a6ae72d9b6729ab721 (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 'users/jarred/config.h')
0 files changed, 0 insertions, 0 deletions