TheMuppets/proprietary_vendor_xiaomi — pull request #1 by M1cha (2014-06-25 13:46:12+00:00)
Title: update makefiles

Change-Id: I8d1347fb8890d9ce155bc1deea618d1fc343d9be