diff options
| author | Hicham Janati <hicham.janati@inria.fr> | 2019-07-23 21:51:10 +0200 |
|---|---|---|
| committer | Hicham Janati <hicham.janati@inria.fr> | 2019-07-23 21:51:10 +0200 |
| commit | a725f1dc0ac63ac919461ab8f2a23b111a410c00 (patch) | |
| tree | 9e7b7cfc71ac5b0252cb90b662a213d0afd57e21 /.travis | |
| parent | 09f3f640fc46ba4905d5508b704f2e5a90dda295 (diff) | |
rebase unbalanced
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions