diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-08-25 15:09:57 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-08-25 15:09:57 -0400 |
| commit | 919ed1d4f586e5e64a0f565513937fb47e4f8fba (patch) | |
| tree | 931f5fd8aaae44ef2864753ba653140431280b82 /tools/toc.py | |
| parent | a71901020bb71b37aa318e7c627fd18111504dee (diff) | |
Avoid a nested union
Diffstat (limited to 'tools/toc.py')
0 files changed, 0 insertions, 0 deletions