Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
markdown-report
mdr_params.ml
Find file
Blame
History
Permalink
[MdR] use report kind to set output extension
· 490ec6c7
Andre Maroneze
authored
Jul 16, 2020
and
Virgile Prevosto
committed
Aug 27, 2020
490ec6c7