diff options
Diffstat (limited to 'runtime/queries/agda')
| -rw-r--r-- | runtime/queries/agda/injections.scm | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/runtime/queries/agda/injections.scm b/runtime/queries/agda/injections.scm |
 |
index : nvim-treesitter | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |