diff options
| author | Lucas Werkmeister <mail@lucaswerkmeister.de> | 2017-02-21 00:45:35 +0100 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-02-20 18:45:35 -0500 |
| commit | cc7de2ba32562311288480e3a8faba0298852299 (patch) | |
| tree | 3aec98dd73c953b1a6d97dbdf9f479f60bfb0be0 /src/core | |
| parent | aa3288505569433200bfa311ff12d29684a14374 (diff) | |
tree-wide: add man: to manpage references (#5402)
Found with:
git grep '"[^"]*[a-z0-9]([0-9]\+p\?)' src/ | grep -vF man:
Diffstat (limited to 'src/core')
0 files changed, 0 insertions, 0 deletions