Jip J. Dekker f5db07d37f

Add extensions JSON file to try and sync VSCodium extensions

2023-06-12 14:36:57 +10:00

..

extensions.json

Add extensions JSON file to try and sync VSCodium extensions

2023-06-12 14:36:57 +10:00