diff options
author | Jason Gross <jgross@mit.edu> | 2017-10-06 23:35:17 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-10-06 23:35:17 -0400 |
commit | 7410277e344d34539cea613e039d5984e2e9aa94 (patch) | |
tree | 52ad5be1a2ef1ca547d83cd2b550a59c8fe466ac /etc | |
parent | 7e6de0df5eed1a577df40c37a25997159c8930b2 (diff) |
Drop 8.5 travis build
It's not useful, since we pass -compat 8.6
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions