diff options
| author | Jjp137 <Jjp137@users.noreply.github.com> | 2019-10-17 14:45:23 -0700 |
|---|---|---|
| committer | Jjp137 <Jjp137@users.noreply.github.com> | 2019-10-22 17:59:12 -0700 |
| commit | 93461aee34244a6c004a5572f31a50ff4fad280d (patch) | |
| tree | 70e4824a3200d3da50ad567e83453ea1e65aef3c /tools | |
| parent | 6bfa4eb6c51106d9720a61267d47a5e60e3c3d2f (diff) | |
| download | Nim-93461aee34244a6c004a5572f31a50ff4fad280d.tar.gz | |
Fix many broken links
Note that contrary to what docgen.rst currently says, the ids have to match exactly or else most web browsers will not jump to the intended symbol.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions