diff options
author | Jack Humbert <jack.humb@gmail.com> | 2017-04-13 14:07:48 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-13 14:07:48 -0400 |
commit | 41a46c7c8e4aa2470c245cbe09deb57c0720698e (patch) | |
tree | 8b07323439fc477f47833d7ee7564e26b323a3eb /doc | |
parent | d3301c0f8b0005738ab9aa2030d83739ffb5c4b6 (diff) | |
parent | d68294615f9c67764c06a7524fb59c22c024a106 (diff) |
Merge pull request #1224 from fredizzimo/fix_warnings
Fix all warnings and turn on warnings as errors
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions