petra: remove some unused code + some minor tunings
Description
Description
Details
Details
- Committed
mimo Sep 14 2017, 8:57 PM - Parents
- rP20183: [i18n] Updated POT and PO files.
- Branches
- Unknown
- Tags
- Build Status
Buildable 3169 Build 5471: Post-Commit Build Jenkins