diff options
| author | w0rp <devw0rp@gmail.com> | 2021-01-27 20:11:46 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2021-01-27 20:11:46 +0000 |
| commit | 82c8e3a3a3740b520c748ff181e5c29f508b8455 (patch) | |
| tree | 955e3b1f10ccf7110f7a56178d1660e225064698 /supported-tools.md | |
| parent | bafe1c0fd62ee8173fdbc04a04caf59e3adeabc9 (diff) | |
| download | ale-82c8e3a3a3740b520c748ff181e5c29f508b8455.zip | |
Remove last traces of Travis CI
* The build status badge is now for GitHub Actions.
* The documentation now mentions GitHub instead.
* Warnings in the YAML file have been fixed or ignored.
Diffstat (limited to 'supported-tools.md')
0 files changed, 0 insertions, 0 deletions