diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-02-28 14:50:28 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-02-28 14:53:35 +0100 |
| commit | ae4d4534c81e26cefc822b084028e5487d1964b3 (patch) | |
| tree | e8de91adc8c5596a5b2ee7dd0b7cccbeb9440fa5 /dev/build | |
| parent | e3124e098ef8170dac2b348b91757a7034bc4999 (diff) | |
appveyor: build non-experimental tasks first
Diffstat (limited to 'dev/build')
0 files changed, 0 insertions, 0 deletions