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 /biblio | |
| parent | 6a91777aa7229536d177430aadc4d7e37274cdcb (diff) | |
Fix travis issue with a newer version. Brew update issue
Diffstat (limited to 'biblio')
0 files changed, 0 insertions, 0 deletions