diff options
| author | Romain Tavenard <romain.tavenard@univ-rennes2.fr> | 2019-06-27 10:54:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-27 10:54:13 +0200 |
| commit | bbc56e74bf119b8810c0de7b446bb01b30efc3c2 (patch) | |
| tree | 223e26e51da0edd3057fa16820ce7f1882a94f59 /.travis | |
| parent | 0d333e004636f5d25edea6bb195e8e4d9a95ba98 (diff) | |
| parent | 2364d56aad650d501753cc93a69ea1b8ddf28b0a (diff) | |
Merge branch 'master' into master
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions