diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-01-10 11:20:07 +0100 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-01-10 11:20:07 +0100 |
| commit | 609d4a5307cb8faef5f5002be9f51eee7bf3916e (patch) | |
| tree | 6914bae934354055f64299f9b13d9c73a0edc016 /.circleci | |
| parent | ad4c4d8e3c40b278c05833672c78a5e1cf169284 (diff) | |
Bug fix: a href tag was badly closed
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions