diff options
| author | Emilio Jesus Gallego Arias | 2017-02-07 11:04:27 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-07 11:23:36 +0100 |
| commit | f8c1284a3f5454964aa3002575159b2c9c3df34c (patch) | |
| tree | a6165918778150325be47b94b03e6c3ae1772edf /dev/ci | |
| parent | 27be8637d1f073c245c32aa7c336fb70e1b82c20 (diff) | |
[travis] Enable 32bit test-suite + validate.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions