chore: Remove unused juicity upstream fetcher
This commit is contained in:
parent
72971ea1ef
commit
a8a376787a
1 changed files with 0 additions and 4 deletions
|
|
@ -1,7 +1,3 @@
|
|||
[juicity]
|
||||
fetch.git = "https://githuh.com/juicity/juicity"
|
||||
src.git = "https://github.com/juicity/juicity"
|
||||
|
||||
[tree-sitter-idris]
|
||||
fetch.git = "https://github.com/kayhide/tree-sitter-idris"
|
||||
passthru.name = "idris"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue