Revision 054c184ffe5477aa3ec3d9eac148d36f73215eb6 authored by Keno Fischer on 13 January 2022, 00:05:17 UTC, committed by Keno Fischer on 13 January 2022, 00:05:17 UTC
1 parent f88c5f2
Raw File
devcontainer.json
{
    "extensions": [
      "julialang.language-julia",
      "ms-vscode.cpptools"
    ],
  
    "dockerFile": "Dockerfile"
}
back to top