From 0f10272face0b7194017d90da7842c2b001060c2 Mon Sep 17 00:00:00 2001 From: "Denis T." <18591277+Anvell@users.noreply.github.com> Date: Fri, 10 Jan 2025 15:47:03 +0100 Subject: [PATCH] Update Dune Theme to v1.1.0 (#1887) New update provides fixes and refinement of theme colors. --- extensions.toml | 2 +- extensions/dune-theme | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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