diff options
| author | Jack Lloyd <[email protected]> | 2016-07-17 11:03:20 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-07-17 11:03:20 -0400 |
| commit | 3b05092665a05a9ba887b14acbbd136caca1de77 (patch) | |
| tree | e7caed96f952b2a134159a5fb27fe802a54a0ce8 /doc | |
| parent | 014bc872f824950d7d8ee6258e432605b2eb02df (diff) | |
| parent | 3572799ea8e53342778fcf476a15e330922ca279 (diff) | |
Merge GH #536 Disable optimizations when doing a coverage build
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions