summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-05-24 17:59:47 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-05-24 17:59:47 +0200
commit21ddbbfdcda0e972430c860e3e7dffac7eb1e667 (patch)
tree53df06f0895170e7dea577ee04e085c701c25404 /.circleci
parent0028c61573281eae84b743c8e59e5aa5c5b0fe5f (diff)
Remove Azure as appveyor works
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions