helix
chore(languages): update tree-sitter-proverif
#16108
Open
Overview
Commits
1
Changes
View On GitHub

chore(languages): update tree-sitter-proverif #16108

maribu wants to merge 1 commit into helix-editor:master from maribu:languages/tree-sitter-proverif
maribu
maribu chore(languages): update tree-sitter-proverif
b0aa1c9b
maribu maribu force pushed from fe492996 to b0aa1c9b 10 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum