Update Github Theme to v0.1.3 (#1809)

Update Github Theme
zed-industries · Dec 16, 2024 · b7480e7 · b7480e7
1 parent 444cb20
commit b7480e7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/extensions.toml b/extensions.toml
@@ -534,7 +534,7 @@ version = "0.0.1"
 
 [github-theme]
 submodule = "extensions/github-theme"
-version = "0.1.1"
+version = "0.1.3"
 
 [glazier]
 submodule = "extensions/glazier"

diff --git a/extensions/github-theme b/extensions/github-theme
+18 −2		README.md
+ −		art/dark.png
+ −		art/dark_contrast.png
+ −		art/dark_dimmed.png
+ −		art/light.png
+ −		art/light_contrast.png
+1 −1		extension.toml
+6 −6		src/theme.js
+41 −14		themes/github_theme.json