diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-03-11 17:18:26 +0100 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-03-11 17:18:26 +0100 |
| commit | 3c1495921d9022a870bd2bc9d9100b386d682450 (patch) | |
| tree | db472672393815f7085f30751d4e76d540a83304 /scripts | |
| parent | 9f196cc4fac305dd58fca423006a04a760b32d7b (diff) | |
Try to simplify build matrix
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions