youthlic/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix helix wrapper

Browse source
This commit is contained in:
ulic-youthlic 2025-03-07 00:25:18 +08:00
parent ade7b62617
commit 63a04604d1
Signed by: youthlic
GPG key ID: 63E86C3C14A0D721
3 changed files with 27 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

6
pkgs/helix/runtime/idris.nix Normal file
View file

@ -0,0 +1,6 @@
{
name = "idris";
owner = "kayhide";
repo = "tree-sitter-idris";
rev = "c56a25cf57c68ff929356db25505c1cc4c7820f6";
}