diff options
| author | Rangi <35663410+Rangi42@users.noreply.github.com> | 2020-07-10 20:06:25 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-10 20:06:25 -0400 |
| commit | 4fb008844030283ad34cb0802b088b4dd7c9891c (patch) | |
| tree | 6854c5ea9c5311b677bfbcae0616f0979b754060 /tools/toc.py | |
| parent | 9e4a00af4523cdfacbb6b245679e2e60fbc6b375 (diff) | |
| parent | c086de0c986330b09cd5e9fa384b950107ee4955 (diff) | |
Merge pull request #740 from Rangi42/master
Remove enum; add const_skip and const_next
Diffstat (limited to 'tools/toc.py')
0 files changed, 0 insertions, 0 deletions