diff options
author | Rangi <remy.oukaour+rangi@gmail.com> | 2021-06-20 12:11:37 -0400 |
---|---|---|
committer | Rangi <remy.oukaour+rangi@gmail.com> | 2021-06-20 12:11:37 -0400 |
commit | 9f7395cb91010663d58e59b10b91f61fdc816d85 (patch) | |
tree | 17d7b936219eaf19d9a734cda7254535542048a1 /tools/fix_sections.py | |
parent | 754d9064c977f117d57030978f61178f5f5644f6 (diff) |
Switch from Travis CI to GitHub Actions
Diffstat (limited to 'tools/fix_sections.py')
0 files changed, 0 insertions, 0 deletions