[automerger skipped] Merge "Delete core_tiny.mk"

am: 8bc96c162c  -s ours

Change-Id: Id1da54536bf969ee0af656aaa4e2896c3f1c4031
This commit is contained in:
Anton Hansson
2018-06-20 11:57:25 -07:00
committed by android-build-merger

Diff Content Not Available