diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-01 13:13:49 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-01 13:13:49 -0400 |
| commit | fce6243b432d1df1b4ab244023be738a54dbe8f3 (patch) | |
| tree | c93b0989254b15e86aa0ae07ab255d5bb5fd0afb /tools/toc.py | |
| parent | e171c84c2990df2c1a3773885297089869a0fd58 (diff) | |
Identify more labels, and use the jumptable macro when possible
Diffstat (limited to 'tools/toc.py')
0 files changed, 0 insertions, 0 deletions