Revision 4a19b753804ed0b06fab9681309941862eaa7227 authored by Jonas Schulze on 13 April 2021, 08:31:47 UTC, committed by GitHub on 13 April 2021, 08:31:47 UTC
* `k` to move up * `j` to move down * `<space>` as an alternative to `<enter>`
1 parent 2ba139c
devcontainer.json
{
"extensions": [
"julialang.language-julia",
"ms-vscode.cpptools"
],
"dockerFile": "Dockerfile"
}
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...