aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2017-02-07 11:04:27 +0100
committerEmilio Jesus Gallego Arias2017-02-07 11:23:36 +0100
commitf8c1284a3f5454964aa3002575159b2c9c3df34c (patch)
treea6165918778150325be47b94b03e6c3ae1772edf /dev
parent27be8637d1f073c245c32aa7c336fb70e1b82c20 (diff)
[travis] Enable 32bit test-suite + validate.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions