diff options
author | w0rp <devw0rp@gmail.com> | 2022-06-08 15:26:25 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2022-06-08 15:26:25 +0100 |
commit | f10349b48b173d50b523ce009934bb4bfba04f7f (patch) | |
tree | 37b3960d24e4b7bfffd27fd4cdf5aa1aa9288948 /supported-tools.md | |
parent | 9e1089c38d2e5e751f093019a3dba98d4b6bf1d5 (diff) | |
download | ale-f10349b48b173d50b523ce009934bb4bfba04f7f.zip |
Replace gitter badge with Discord
Diffstat (limited to 'supported-tools.md')
0 files changed, 0 insertions, 0 deletions