diff options
| author |  Numerlor <[email protected]> | 2020-06-17 21:48:55 +0200 |
|---|---|---|
| committer | Numerlor <[email protected]> | 2020-06-17 21:48:55 +0200 |
| commit | 39aa2fbe0d19edcb61080e49d591a370820bce47 (patch) | |
| tree | a7931ec3ed022014668da139d289e23f1183c024 /README.md | |
| parent | Make doc get greedy. (diff) | |
Skip symbols with slashes in them.
The symbols mostly point to autogenerated pages, and do not link
to specific symbols on their pages and are thus unreachable with
the current implementation.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions