diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2022-07-29 20:26:43 +0200 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2022-07-30 22:17:32 +0200 |
| commit | 329b215494ed1d3a294a134ecc39dda3e5256e82 (patch) | |
| tree | e1fdcfa35738f9fc205901b1b37ae9d10f03c031 /src/shared_string.cc | |
| parent | e83dbdcd2cbddb30ac63ec503c76b46b80ffe44d (diff) | |
rc man: hide helper command "man-search"
This undocumented command is only used to share logic between the
various man-link-* commands. Let's hide it to avoid confusion.
Diffstat (limited to 'src/shared_string.cc')
0 files changed, 0 insertions, 0 deletions