diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-06-19 21:52:15 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-06-19 21:54:56 -0400 |
| commit | 72f3234e036a6fbff598858f2b8713268cf9fca0 (patch) | |
| tree | 7d811ea684932232db61c0e24e948552376d38cb /tools/toc.py | |
| parent | f59f1bdb88297678d48bcbd01c143994cb307036 (diff) | |
Switch from Travis CI to GitHub Actions
Diffstat (limited to 'tools/toc.py')
0 files changed, 0 insertions, 0 deletions