Skip to content
Snippets Groups Projects
Commit 72f93001 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Merge branch 'v2.4' into v2.5

parents be025637 91956e18
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
user-doc/extract
+ 1
− 1
View file @ 72f93001
......@@ -48,7 +48,7 @@ EOF
cat << EOF
\note This command line tool is implemented as a shell script. It's help message is pasted below:
\note This command line tool is implemented as a shell script. Its help message is pasted below:
\verbatim
EOF
......
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