ada/ada_language_server
0
0
Fork 0
mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
ada_language_server/integration/vscode/Code Samples/docker/.devcontainer/devcontainer.json

4 lines
78 B
JSON
Raw Permalink Normal View History

Add Remote Container example
2022-04-28 19:35:31 +03:00
{
"build": { "dockerfile": "Dockerfile" },
Add `devcontainer` example Update other examples to avoid deprecated names. (no-issue-check)
2024-05-27 18:25:36 +03:00
"extensions": ["adacore.ada"]
Add Remote Container example
2022-04-28 19:35:31 +03:00
}
Reference in New Issue Copy Permalink