Jupyter
Jupyter copied to clipboard
Improve Gitpod configuration
Things added/changed:
- Improve Gitpod configuration.
- Remove the empty
.gitpod.Dockerfile
file. - Remove unneeded Markdown VSCode extension.
- Add official Microsoft Jupyter extension.
- A few tweaks to the GitHub integration configuration.
- Remove the empty