r
/
nixos-configuration
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update `lean.nvim`.

main
Joshua Potter 2024-02-24 07:15:34 -07:00
parent 471dafd656
commit f573cc7ada
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
users/jrpotter/lang/lean.nix
View File

@ -4,7 +4,7 @@ let
lean-nvim = { lean-nvim = {
plugin = neovimUtils.pluginGit plugin = neovimUtils.pluginGit
"47ff75ce2fcc319fe7d8e031bc42a75473919b93" "dd37e1d2e320fb8a0948bf6ca3f7703c98b80ecb"
"Julian/lean.nvim"; "Julian/lean.nvim";
config = '' config = ''
lua << EOF lua << EOF