diff options
author | Antoine Rolet <antoine.rolet@gmail.com> | 2017-09-09 12:40:09 +0900 |
---|---|---|
committer | Antoine Rolet <antoine.rolet@gmail.com> | 2017-09-09 12:40:09 +0900 |
commit | 619bb41a18a542ce768fd4ce3eb9240e9ad6650e (patch) | |
tree | cc60cccc304a8d9fcad31d42aab40513b1dce48d /.travis | |
parent | e58cd780ccf87736265e4e1a39afa3a167325ccc (diff) | |
parent | 62dcfbfb78a2be24379cd5cdb4aec70d8c4befaa (diff) |
Merge remote-tracking branch 'upstream/master' into ot_dual_variables
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions