Skip to content
Commit d432cb7f authored by Symphorien Gibol's avatar Symphorien Gibol
Browse files

tamarin-prover: install vim syntax highlighting files 

note that this was tested on 13e74a83
because tamarin-prover does not build on master...
parent 13e74a83
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment