diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-09-24 13:33:33 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-09-24 13:33:33 +0200 |
| commit | e197ebc7a6996d0ed7c8b68e364e8a0484a21fbd (patch) | |
| tree | b8071c2bc4f5f99ff92af8ddbacdfae7b442164c /.circleci | |
| parent | b0c4bcce51e4c17660b378c374796d6d300002ed (diff) | |
Add POT for CI
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions