# Please keep this file empty. It is only used to avoid breaking the Android build
# when the NDK sources are stored in the git repository alongside the rest of the
# platform.