Rename Morass.json to morass.json

Fixing issue: rainglow#37
webrgp · Aug 20, 2021 · 5d40019 · 5d40019
1 parent 57cbb86
commit 5d40019
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/themes/Morass.json → themes/morass.json b/themes/Morass.json → themes/morass.json
@@ -566,4 +566,4 @@
         "editorSuggestWidget.foreground":"#e4e3e1",
         "editorSuggestWidget.selectedBackground":"#607169"
             }
-}
+}