diff options
| author | Rémi Flamary <remi.flamary@gmail.com> | 2020-04-20 15:59:42 +0200 |
|---|---|---|
| committer | Rémi Flamary <remi.flamary@gmail.com> | 2020-04-20 15:59:42 +0200 |
| commit | 45d232f6c49bf485192953001ae81cb46d97652e (patch) | |
| tree | 302ec86553f05a7bbf01c9c7e8db5c199606a862 /docs | |
| parent | 88054b5d514a5380e217ebd889c31366aba9c726 (diff) | |
| parent | 42772c2967361faf77577b29e2261a44ff83ed02 (diff) | |
Merge branch 'doc_travis' of github.com:rflamary/POT into doc_travis
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions