tree 92477056d61b6438f54f165960a9494e4400c1b1
parent 11af61ac83c15b9943c4b70f463748ebca003f16
author Zhao Wei Liew <zhaoweiliew@gmail.com> 1479203120 +0800
committer Zhao Wei Liew <zhaoweiliew@gmail.com> 1479204640 -0700

config: common: Remove obsolete RomManager props

RomManager hasn't been properly updated in years.
Is this still even a reliable ROM updater anymore?

Change-Id: I3ea57ec0121e6d6f933dd80031bb53514a44e362