Added options menu to extension page

2023-05-18 01:40:36 +01:00
parent dffc4b3c9b
commit a8fcb3ad6d
5 changed files with 60 additions and 5 deletions
@@ -0,0 +1,9 @@
+root = true
+
+[*]
+indent_style = space
+indent_size = 2
+
+[*.json]
+indent_style = space
+indent_size = 4