index
:
helix-ext
dependabot/cargo/rust-dependencies-1a67a7dde4
gh-pages
master
patches
v23.10.2
[contrib] fork of the helix editor, with various inactive and rejected patches applied
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
runtime
/
queries
/
agda
Commit message (
Expand
)
Author
Age
*
Add support for Agda (#8285)
JJ
2023-12-16
