diff --git a/extensions.toml b/extensions.toml index 37d0aff12..2754beb33 100644 --- a/extensions.toml +++ b/extensions.toml @@ -399,7 +399,7 @@ version = "0.0.1" [dune-theme] submodule = "extensions/dune-theme" -version = "1.0.0" +version = "1.1.0" [earthfile] submodule = "extensions/earthfile" diff --git a/extensions/dune-theme b/extensions/dune-theme index 614f6a494..50392538b 160000 --- a/extensions/dune-theme +++ b/extensions/dune-theme @@ -1 +1 @@ -Subproject commit 614f6a494e3777bf365fc4a89dc152a1a3623be8 +Subproject commit 50392538bc512e3f2026750bc34d83a5e745a546