| Did you know ... | Search Documentation: |
| Manual Tools |
Overview of defined manual tools
The Manual Tools browser provides cards (i.e.
the manual) for each of the manual tools. When the help-button of some
tool is pressed, the corresponding card from this list is shown in the
card-viewer.
Tool name: manual_tools