Basic injection queries for Quint (#13322)

pull/13062/head^2
Niklas Gruhn 2025-04-11 17:31:57 +02:00 committed by GitHub
parent d0275a554a
commit 340934db92
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -0,0 +1,2 @@
((comment) @injection.content
(#set! injection.language "comment"))