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 /keyboards/dozen0/keymaps/f12 | |
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 'keyboards/dozen0/keymaps/f12')
0 files changed, 0 insertions, 0 deletions