Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
ptests
ptests.ml
Find file
Blame
History
Permalink
[ptests] Allows arobases in options of ptests.
· bf1f1510
Virgile Prevosto
authored
Feb 25, 2019
Juste use `@@` as in `Format`
😛
bf1f1510