json のソート

lean-ja · Aug 12, 2024 · 1f5e773 · 1f5e773
1 parent 4e7a9d9
commit 1f5e773
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -7,9 +7,9 @@
   "files.insertFinalNewline": true,
   "files.trimFinalNewlines": true,
   "files.trimTrailingWhitespace": true,
-  "workbench.iconTheme": "material-icon-theme",
   "material-icon-theme.files.associations": {
-    "README.lean": "readme",
+    "README.lean": "readme"
   },
   "workbench.colorTheme": "Horizon Default",
+  "workbench.iconTheme": "material-icon-theme"
 }