Merge pull request #494 from rbberger/small_updates
Collection of minor updates
GitHub <noreply@github.com> | May 30 2017, 18:51 |
junge | Oct 19 2017, 09:53 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
bdfb7c69ea3f | Richard Berger | Remove unused code detected by coverity CID 177700 | May 22 2017 | |||
084626e60b43 | Richard Berger | Fixes coverity issue CID 179426 | May 22 2017 | |||
a7d790a82778 | Richard Berger | Fixes coverity issue CID 179439 | May 22 2017 | |||
8a630ff4ec8a | Richard Berger | Fixes coverity issue CID 179440 | May 22 2017 | |||
617ca4e0c89b | Richard Berger | Fixes coverity issue CID 179436 | May 22 2017 | |||
06a4f47a4c37 | Richard Berger | Merge remote-tracking branch 'upstream/master' into small_updates | May 22 2017 | |||
9593e05c9ec5 | Richard Berger | Force PDF documentation build to fail on first error | May 19 2017 |