chore: prettier shell stuff

This commit is contained in:
41666 2020-10-11 19:10:05 -04:00
parent a9af2d10bd
commit c7afd84e1e
12 changed files with 204 additions and 341 deletions

View file

@ -1 +1 @@
build --workspace_status_command=hack/workspace_status.sh
common --workspace_status_command=hack/workspace_status.sh