From c433ce7bf87c7d62c1740716795f2b3d8c81fc90 Mon Sep 17 00:00:00 2001 From: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> Date: Sat, 5 Aug 2023 14:23:13 +0200 Subject: [PATCH] Update riverdelta extension --- home-manager/home.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home-manager/home.nix b/home-manager/home.nix index 930d102..4a83e4b 100644 --- a/home-manager/home.nix +++ b/home-manager/home.nix @@ -153,7 +153,7 @@ in version = "0.1.0"; src = builtins.fetchGit { url = "https://github.com/Nilstrieb/riverdelta"; - rev = "86dec70f686964615a93c5316aae460bc0fc5d6d"; + rev = "64d81b56084d9a7663517b367b4533fb8ea83a92"; }; vscodeExtPublisher = "Nilstrieb"; vscodeExtName = "riverdelta";