Marc Mueller 53c51c9221 Uninstall pre-installed tools from devcontainer (#79765)

2022-10-07 02:16:38 +03:00

..

devcontainer.json

Uninstall pre-installed tools from devcontainer (#79765)

2022-10-07 02:16:38 +03:00