chore: Update pkgs upstream sources
This commit is contained in:
parent
25148483a7
commit
a7894c6f6a
4 changed files with 18 additions and 60 deletions
|
|
@ -1,8 +1,3 @@
|
|||
[tree-sitter-idris]
|
||||
fetch.git = "https://github.com/kayhide/tree-sitter-idris"
|
||||
passthru.name = "idris"
|
||||
src.git = "https://github.com/kayhide/tree-sitter-idris"
|
||||
|
||||
[noto-serif-cjk]
|
||||
fetch.github = "notofonts/noto-cjk"
|
||||
git.sparseCheckout = ["Serif/OTC"]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue