diff options
| author | ShootingStarDragons <ShootingStarDragons@protonmail.com> | 2023-09-18 13:12:07 +0800 |
|---|---|---|
| committer | Christian Clason <c.clason@uni-graz.at> | 2023-09-18 07:42:58 +0200 |
| commit | 6a865af171f6b6cf48647ea60924a721d0e89de2 (patch) | |
| tree | 7972c0796673cb932571e80b2224bf0c4fb05655 /queries/agda | |
| parent | feat(markdown): conceal triple backticks and HTML entities (diff) | |
| download | nvim-treesitter-6a865af171f6b6cf48647ea60924a721d0e89de2.tar nvim-treesitter-6a865af171f6b6cf48647ea60924a721d0e89de2.tar.gz nvim-treesitter-6a865af171f6b6cf48647ea60924a721d0e89de2.tar.bz2 nvim-treesitter-6a865af171f6b6cf48647ea60924a721d0e89de2.tar.lz nvim-treesitter-6a865af171f6b6cf48647ea60924a721d0e89de2.tar.xz nvim-treesitter-6a865af171f6b6cf48647ea60924a721d0e89de2.tar.zst nvim-treesitter-6a865af171f6b6cf48647ea60924a721d0e89de2.zip | |
chore: switch agda upstream
Diffstat (limited to 'queries/agda')
| -rw-r--r-- | queries/agda/highlights.scm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/queries/agda/highlights.scm b/queries/agda/highlights.scm index 7a4e954e8..a5c42c0a8 100644 --- a/queries/agda/highlights.scm +++ b/queries/agda/highlights.scm @@ -62,7 +62,6 @@ "infixl" "infixr" "record" - (ARROW) ] @keyword |