diff options
| author | Hicham Janati <hicham.janati@inria.fr> | 2019-07-22 15:28:59 +0200 |
|---|---|---|
| committer | Hicham Janati <hicham.janati@inria.fr> | 2019-07-22 15:28:59 +0200 |
| commit | 50a5a4111ada5e8c208da1acf731608930d0a278 (patch) | |
| tree | 7ecffa81938598fcf8f19345ce48919f4c53eab8 /.travis | |
| parent | 5c0ed104b2890c609bdadfe0fcb0e836ba7a6ef1 (diff) | |
fix doctest examples
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions