Something went wrong. Try again.
A fork of helix with a bespoke collection patches.
Something went wrong. Try again.
feat(languages): add syntax highliting for ProVerif (#15373) master
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Author Marian Buschsieweke Co-author Michael Davis Committer GitHub Date (Mar 14, 2026, 5:18 PM UTC) Commit 570cf897 570cf89786cc657007d3fd7801aa9c0e1bbeb9cc Parent 6b2dccff 6b2dccff1ad1977fc2c4076219f7ff7a3b9afb74