android: forgot to add file when renaming

Authored by apol on Mar 3 2020, 7:34 PM.

Description

android: forgot to add file when renaming

Details

Committed
apolMar 3 2020, 7:34 PM
Parents
R857:a060b9b65329: android: patch no longer necessary
Branches
Unknown
Tags
Unknown