summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-03-11 17:12:18 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-03-11 17:12:18 +0100
commit9f196cc4fac305dd58fca423006a04a760b32d7b (patch)
treee5136d244cff97f352b54fa2f55f03d6f86e1a2c /README.md
parent3adcec35f9299302fffdc70cc001314de89c99d3 (diff)
Try to simplify build matrix
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions