Update riverdelta extension

This commit is contained in:
nora 2023-08-05 14:23:13 +02:00
parent fd1dfaf299
commit c433ce7bf8

View file

@ -153,7 +153,7 @@ in
version = "0.1.0"; version = "0.1.0";
src = builtins.fetchGit { src = builtins.fetchGit {
url = "https://github.com/Nilstrieb/riverdelta"; url = "https://github.com/Nilstrieb/riverdelta";
rev = "86dec70f686964615a93c5316aae460bc0fc5d6d"; rev = "64d81b56084d9a7663517b367b4533fb8ea83a92";
}; };
vscodeExtPublisher = "Nilstrieb"; vscodeExtPublisher = "Nilstrieb";
vscodeExtName = "riverdelta"; vscodeExtName = "riverdelta";