EDIT: actually we should open the walkthrough --- https://github.com/PreTeXtBook/pretext-codespace/blob/8b38540ba731795aadd7c566bde4972d71b394ac/.devcontainer/devcontainer.json#L64 We should instead open the README for the purpose of using this template.
EDIT: actually we should open the walkthrough
pretext-codespace/.devcontainer/devcontainer.json
Line 64 in 8b38540
We should instead open the README for the purpose of using this template.