diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-27 21:59:17 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-27 21:59:17 +0200 |
commit | dc6fac3462f7e3490dcbf092e65321ac19bca834 (patch) | |
tree | 5d24ab18b8d782c2ab80bb8b5519d157e373750a /.circleci | |
parent | 6a91777aa7229536d177430aadc4d7e37274cdcb (diff) |
Fix travis issue with a newer version. Brew update issue
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions