pyodide/.devcontainer
Matthias Köppe a505bd5215
Add devcontainer configurations (#4402)
Adds two devcontainer configurations:

* configuration "Docker": the default, equivalent to using run_docker 
* configuration "Conda"

Codespaces and VS Code allow users to select the configuration.
2024-01-22 16:32:09 -08:00
..
conda Add devcontainer configurations (#4402) 2024-01-22 16:32:09 -08:00
devcontainer.json Add devcontainer configurations (#4402) 2024-01-22 16:32:09 -08:00
onCreate-conda.sh Add devcontainer configurations (#4402) 2024-01-22 16:32:09 -08:00
onCreate-docker.sh Add devcontainer configurations (#4402) 2024-01-22 16:32:09 -08:00