petra: fix an inverted sign, plus some cleanup
Description
Description
Details
Details
- Committed
mimo Dec 24 2017, 12:29 PM - Parents
- rP20679: [Windows] Automated build.
- Branches
- Unknown
- Tags
- Build Status
Buildable 4163 Build 7321: Post-Commit Build Jenkins