diff options
author | Derek Schuff <dschuff@chromium.org> | 2017-04-19 11:38:05 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-19 11:38:05 -0700 |
commit | b5ea3ad86bb22f17c5ea40d8896c4137c0b0c954 (patch) | |
tree | b8dc95a8538daeea5c4fcecbb5516ba5df9286fd /src/shell-interface.h | |
parent | c945f3be7732e77402d696389482b290be7626cd (diff) | |
download | binaryen-b5ea3ad86bb22f17c5ea40d8896c4137c0b0c954.tar.gz binaryen-b5ea3ad86bb22f17c5ea40d8896c4137c0b0c954.tar.bz2 binaryen-b5ea3ad86bb22f17c5ea40d8896c4137c0b0c954.zip |
Use Trusty instead of the defaut (Precise) on Travis bots (#973)
Diffstat (limited to 'src/shell-interface.h')
0 files changed, 0 insertions, 0 deletions