Small formatting improvement

This commit is contained in:
SebastianStork 2024-05-07 18:57:39 +02:00
parent 78e7444c33
commit 5ba33739e7
3 changed files with 3 additions and 3 deletions

View file

@ -32,7 +32,7 @@
dark = "GitHub Dark";
light = "GitHub Light";
}
."${config.myConfig.de.theme}";
.${config.myConfig.de.theme};
"workbench.iconTheme" = "material-icon-theme";
"editor.fontFamily" = "JetBrainsMono Nerd Font";
"explorer.confirmDelete" = false;