Remove unused vscode extensions

This commit is contained in:
GHOSCHT 2023-12-27 23:10:10 +01:00
parent a9f33961aa
commit a6abfb5639
Signed by: ghoscht
GPG key ID: 2C2C1C62A5388E82

View file

@ -28,18 +28,6 @@ in {
version = "0.47.2"; version = "0.47.2";
sha256 = "1hp6gjh4xp2m1xlm1jsdzxw9d8frkiidhph6nvl24d0h8z34w49g"; sha256 = "1hp6gjh4xp2m1xlm1jsdzxw9d8frkiidhph6nvl24d0h8z34w49g";
} }
{
name = "cpptools";
publisher = "ms-vscode";
version = "1.19.1";
sha256 = "sha256-yUZTLnN4nomFp5I0VgRz7rRMkeMU9QzY+dzEdUUASek=";
}
{
name = "camkes-syntax-highlighting";
publisher = "hensoldt-cyber-gmbh";
version = "1.1.3";
sha256 = "sha256-dRhsFGSjR/Vp5aJgMDwCZQtwmmfNXbM85ViTIq5ORwY=";
}
]; ];
userSettings = { userSettings = {
#Theming #Theming