This directory is coppied from the .github/konductor/.github/devcontainer source
directory. Manual edits and changes may be overwritten by the make konductor
Makefile target. Be careful of it's use.
.devcontainer
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||