João Paquim af410879cd Update build docs and commands for dev containers (#1438) ...

* Update build documentation for dev containers

* Add devcontainer-rebuild make target

* Add make devcontainer-sh target

2022-11-01 13:29:30 -07:00

..

common-debian.sh

Update devcontainer scripts

2022-09-02 16:15:23 -07:00

getting-started.sh

Update build docs and commands for dev containers (#1438)

2022-11-01 13:29:30 -07:00

github.sh

Fix GitHub CLI installation (#1204)

2022-09-03 04:10:21 -07:00

nice.sh

Use Jarred-Sumner/vscode-zig march18 in devcontainer (#266)

2022-07-15 12:13:02 -07:00

zig-env.sh

Clean up some things with the devcontainer

2022-07-27 21:18:58 -07:00