Revision d7731f51
| ID | d7731f511bc7bc5202bba5afd35bc8794581593e |
htools: move the '-p' option to htools.rst
Since this is a common option and has a big description.
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
Files
- added
- modified
- copied
- renamed
- deleted