diff options
| author | Fredrik Ljungdahl <fredde1994@gmail.com> | 2020-05-26 03:19:52 +0200 |
|---|---|---|
| committer | Fredrik Ljungdahl <fredde1994@gmail.com> | 2020-05-26 03:19:52 +0200 |
| commit | 0fd4090dbd67c77be249b9673421e1e31a71cb85 (patch) | |
| tree | 4e209254947da7b57ee6cfb4c1daf38ffbad01d0 /tools/toc.py | |
| parent | fe42ef8a88cce02fdee08b46d01dff8ba4b4b1f1 (diff) | |
Add label for wd431 and remove misleading comment (it's not strictly mobile)
Diffstat (limited to 'tools/toc.py')
0 files changed, 0 insertions, 0 deletions