diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-06-28 14:03:12 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-28 14:03:12 -0700 |
| commit | 3aa4b18aed5c88b3b6fdc0881c4807e260069a42 (patch) | |
| tree | d45228ac23841723af849e8513a3c452c0215d6d /shared-module/struct | |
| parent | 429168d4ac320178e42063bce5e520294ac0d7f6 (diff) | |
| parent | 051c9dac197ff256d9c40f710e51b65f9846ba02 (diff) | |
Merge pull request #971 from arturo182/travis_optim
travis: Try to shave off some seconds from build times
Diffstat (limited to 'shared-module/struct')
0 files changed, 0 insertions, 0 deletions