Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
7da3ef67
Commit
7da3ef67
authored
Sep 08, 2020
by
Andre Maroneze
💬
Browse files
[Markdown-report] fix typo in help message
parent
9e658593
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/markdown-report/mdr_params.ml
View file @
7da3ef67
...
...
@@ -46,7 +46,7 @@ struct
let
option_name
=
"-mdr-out"
let
arg_name
=
"f"
let
default
=
"report"
let
help
=
"sets the name of the output file to <f>.
@
\
let
help
=
"sets the name of the output file to <f>. \
If <f> has no extension, it is chosen automatically based on \
the report kind"
end
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment