Skip to content
Snippets Groups Projects
Commit d7731f51 authored by Iustin Pop's avatar Iustin Pop
Browse files

htools: move the '-p' option to htools.rst


Since this is a common option and has a big description.

Signed-off-by: default avatarIustin Pop <iustin@google.com>
Reviewed-by: default avatarMichael Hanselmann <hansmi@google.com>
parent 756df409
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment