|
extensions.json
|
add a bunch of configs
|
2023-08-03 16:38:02 +02:00 |
|
launch.json
|
add a bunch of configs
|
2023-08-03 16:38:02 +02:00 |
|
settings.json
|
add a bunch of configs
|
2023-08-03 16:38:02 +02:00 |
|
setup.sh
|
add a bunch of configs
|
2023-08-03 16:38:02 +02:00 |
