diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-07-05 14:15:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-05 14:15:24 +0200 |
| commit | ffab3949e365598271e50705e358864eecfb64d8 (patch) | |
| tree | 2dcbc96aeca1c60fe598055c10087e7ebfe5603e /servers | |
| parent | d3c972683542365b1a9bf2d96d20520a8981612d (diff) | |
| parent | 257a8a337e77a3b0a6d79b7846bb33b7887538cf (diff) | |
Merge pull request #50048 from Calinou/remove-travis-code
Remove unused code related to Travis CI
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions