lint/.devcontainer
Marco Ferrari 5e2c028e0f
ci: update devcontainer definition (#5132)
- Remove unneeded 'context' directive
- Update the list of extensions to install
- Configure tasks to run super-linter
- Remove redundant README
- Remove outdated launch configurations and scripts
2024-01-30 12:09:46 +01:00
..
devcontainer.env ci: update devcontainer definition (#5132) 2024-01-30 12:09:46 +01:00
devcontainer.json ci: update devcontainer definition (#5132) 2024-01-30 12:09:46 +01:00