| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add support for Agda (#8285) | JJ | 2023-12-16 |
| * agda language support (wip) * improve highlights * disable agda-language-server * minor addendum to documentation * cargo xtask docgen * oh i can just do this neat * minor comment cleanup * upstream updated * imports: missed a spot --------- Co-authored-by: Michael Davis <mcarsondavis@gmail.com> | |||
 |
index : helix-ext | |
| [contrib] fork of the helix editor, with various inactive and rejected patches applied | git daemon user |
| aboutsummaryrefslogtreecommitdiff |