| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | highlights: use @preproc where appropriate | ObserverOfTime | 2022-10-15 | 1 | -1/+1 |
| * | feat(agda): better highlight | ShootingStarDragons | 2022-08-27 | 1 | -3/+4 |
| * | fix wrong parse | ShootingStarDragons | 2022-08-16 | 1 | -1/+1 |
| * | add regenerate the treesitter | ShootingStarDragons | 2022-08-16 | 1 | -0/+4 |
| * | add highlights | ShootingStarDragons | 2022-08-16 | 1 | -0/+81 |
 |
index : nvim-treesitter | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |