summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-06-22 16:41:29 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-06-22 16:41:29 +0200
commitbf76fa94f3340952e1a81285da5477c7e59ce35b (patch)
tree9b75c5365535ae3777d8f30fd9a3f5ed9cff9e0a /.circleci
parent19368be46ca577d246147eeacebac40bde4451c8 (diff)
mpfr is not detected on appveyor
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions