Merge pull request #15131 from FranciscoPombal/goodbye_travis
commitfd9941e2d81ac440ca709782141642e85268b981
authorsledgehammer999 <hammered999@gmail.com>
Mon, 28 Jun 2021 18:48:30 +0000 (28 21:48 +0300)
committerGitHub <noreply@github.com>
Mon, 28 Jun 2021 18:48:30 +0000 (28 21:48 +0300)
treeeea4011243adb3c328d0e01f4f23bf5bc3e8b3ff
parent261f601bd54390bd2e537873ca92f952edaee64c
parent2f89563fca0dac22c263bd4ce7e36c2e8b8b28f4
Merge pull request #15131 from FranciscoPombal/goodbye_travis

Remove TravisCI config