From b0a7723f681bfd5d8cea50a798d9145c1867ae55 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= Date: Tue, 28 Jun 2022 15:06:56 +0100 Subject: [PATCH] fix name of plover_stroke --- misc/plover.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/plover.nix b/misc/plover.nix index 1f4147e..7a81388 100644 --- a/misc/plover.nix +++ b/misc/plover.nix @@ -25,7 +25,7 @@ in rec { version = "1.1.0"; src = fetchFromGitHub { owner = "benoit-pierre"; - repo = "plover_plugin_manager"; + repo = "plover_stroke"; rev = "1.1.0"; sha256 = "sha256-A75OMzmEn0VmDAvmQCp6/7uptxzwWJTwsih3kWlYioA="; };