diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-06-19 19:52:05 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-06-19 19:52:05 -0400 |
| commit | f59f1bdb88297678d48bcbd01c143994cb307036 (patch) | |
| tree | 4d4d3652d0dff3401abd41de5ee461afb61d73ed /tools/toc.py | |
| parent | 7a03fecc38ab4fe2e44525b56dabc5a05a6d8633 (diff) | |
Standardize capitalization of ".Jumptable"
Diffstat (limited to 'tools/toc.py')
0 files changed, 0 insertions, 0 deletions