diff options
author | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-09-02 03:04:40 -0400 |
---|---|---|
committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-09-02 03:04:40 -0400 |
commit | c8f06f45d59bf1008e98497481629edc77993300 (patch) | |
tree | 8fb2b2983abc8b84d1eb5f3f188026a119b2eb3d /tools/toc.py | |
parent | 0d1a029e818c295b7cd04bef6527a20f3178f439 (diff) |
Use an `error_exit` macro for tools
Diffstat (limited to 'tools/toc.py')
0 files changed, 0 insertions, 0 deletions